In the paper we introduce a wide range of Anderson-like variants of Gödel's theory and prove for each of them strong completeness theorem wrt. corresponding class of modal structures.These theories — all formulated in the 2nd order modal language with a 2nd order unary predicate of positiveness — differ among themselves with respect of: properties of the necessity operator and of the predicate of positiveness, axioms characterizing identity between 1st sort terms, definitions of identity between 2nd sort terms, the treatment (...) of Godlikeness as a term of the 2nd order, the treatment of necessary existence as a term of the 2nd order if there exists the necessity of its presence, the treatment of Ix (Ix(y) is read: terms x, y are identical), for every 1st sort term x, as a term of the 2nd order if there exists the necessity of its presence.Concerning to semantical commitments, the following are essential: (i) 1st order terms order receive only rigid extensions in the constant objectual 1st order domain; (ii) 2nd order terms receive non-rigid extensions in the constant objectual domain of 2nd order and rigid intensions in the constant conceptual 2nd order domain; (iii) The behavior of the identity between 1st sort terms shifts from possible worlds to possible worlds. (shrink)

The paper develops a set of quantified temporal alethic boulesic doxastic systems. Every system in this set consists of five parts: a ‘quantified’ part, a temporal part, a modal (alethic) part, a boulesic part and a doxastic part. There are no systems in the literature that combine all of these branches of logic. Hence, all systems in this paper are new. Every system is defined both semantically and proof-theoretically. The semantic apparatus consists of a kind of$$T \times W$$T×Wmodels, and the (...) proof-theoretical apparatus of semantic tableaux. The ‘quantified part’ of the systems includes relational predicates and the identity symbol. The quantifiers are, in effect, a kind of possibilist quantifiers that vary over every object in the domain. The tableaux rules are classical. The alethic part contains two types of modal operators for absolute and historical necessity and possibility. According to ‘boulesic logic’ (the logic of the will), ‘willing’ (‘consenting’, ‘rejecting’, ‘indifference’ and ‘non-indifference’) is a kind of modal operator. Doxastic logic is the logic of beliefs; it treats ‘believing’ (and ‘conceiving’) as a kind of modal operator. I will explore some possible relationships between these different parts, and investigate some principles that include more than one type of logical expression. I will show that every tableau system in the paper is sound and complete with respect to its semantics. Finally, I consider an example of a valid argument and an example of an invalid sentence. I show how one can use semantic tableaux to establish validity and invalidity and read off countermodels. These examples illustrate the philosophical usefulness of the systems that are introduced in this paper. (shrink)

The Hooded Man Paradox of Eubulides concerns the apparent failure of the substitutivity of identicals in epistemic (and other intentional) contexts. This paper formulates a number of different versions of the paradox and shows how these may be solved using semantics for quantified epistemic logic. In particular, two semantics are given which invalidate substitution, even when rigid designators are involved.

Special issue: "Reflecting on the Legacy of C.I. Lewis: Contemporary and Historical Perspectives on Modal Logic".