Journal of Symbolic Logic 67 (4):1483-1510 (2002)

Authors
Giovanna Corsi
Università degli Studi di Bologna
Abstract
A general strategy for proving completeness theorems for quantified modal logics is provided. Starting from free quantified modal logic K, with or without identity, extensions obtained either by adding the principle of universal instantiation or the converse of the Barcan formula or the Barcan formula are considered and proved complete in a uniform way. Completeness theorems are also shown for systems with the extended Barcan rule as well as for some quantified extensions of the modal logic B. The incompleteness of Q°.B + BF is also proved
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1190150295
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,178
Through your library

References found in this work BETA

Semantical Considerations on Modal Logic.Saul A. Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
First-Order Modal Logic.Melvin Chris Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.
A New Introduction to Modal Logic.G. E. Hughes & M. J. Cresswell - 1996 - Studia Logica 62 (3):439-441.
First Order Modal Logic.Melvin Fitting & Richard Mendelsohn - 2001 - Studia Logica 68 (2):287-289.

View all 7 references / Add more references

Citations of this work BETA

Modal Logic.James W. Garson - 2009 - Stanford Encyclopedia of Philosophy.
First-Order Classical Modal Logic.Horacio Arló-Costa & Eric Pacuit - 2006 - Studia Logica 84 (2):171 - 210.
Unifying Quantified Modal Logic.James W. Garson - 2005 - Journal of Philosophical Logic 34 (5-6):621-649.

View all 9 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
79 ( #137,603 of 2,455,063 )

Recent downloads (6 months)
2 ( #303,290 of 2,455,063 )

How can I increase my downloads?

Downloads

My notes