Model Logic With Descriptions (Nijhoff International Philosophy Series, 10)
Topics in Conditional Logic
Logic and Language Studies dedicated to Professor Rudolf Carnap on the Occasion of his Seventieth Birthday
Problems of the Logic of Scientific Knowledge (Synthese Library, 25)
Gentzen Calculi for Modal Propositional Logic
Metaphysics and Belief
Proof Theory of Modal Logic
Model Theory and Arithmetic: Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, ... 890) (English and French Edition)
First-Order Modal Logic
Topological Model Theory (Lecture Notes in Mathematics, 769)