-
The first investigations in the field of semantics of intuitionistic logic were by Beth with the aid of his semantic tableaux. His completeness results for the predicate calculus were improved by Dyson and Kreisel. Later Kripke built on this work, and with slightly changed semantic tableaux and ...
-
Modal Correspondence Theory
Johan van Benthem
Modal Correspondence Theory has for its subject the connections between modal formulas and formulas of classical logical systems, both viewed as means of expressing relational properties. Two main questions are treated in this dissertation: which mod...
-
-
-
-
Foundations and applications of Montague grammar
Theo M.V. Janssen
The two tracts you are reading are based on my dissertation ‘Foundations and applications of Montague grammar‘. Volume 1 consists of the chapters 1,2,3 and 10 of that dissertation, and volume 2 of the chapters 4-9. Only minor cor...
-
-
-
The present treatise is a corrected version of the author's Ph.D. dissertation, written at the University of Amsterdam in 1974/75 under the direction of Professor A.S. Troelstra. My research, as well as the production of the dissertation, were generously supported by the Mathematical Center, and ...
-
Complexity of Modal Logics
Edith Spaan
The actual "use" of modal logics in fields like distributed systems, computational linguistics, and program verification has given rise to new questions in the field of modal logic itself. For instance, though a logician might be satisfied by knowing that a...
-