A general semantics for quantified modal logic

Advances in Modal Logic 2006

Volumn 6, Issue , 2006, Pages 227-246

  Goldblatt, Robert ^a   Mares, Edwin D ^a  

^a VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

Author keywords

Barcan formula; Canonical logic; Completeness; General frame; Incompleteness; Quantified modal logic; Tarskian

Indexed keywords

BARCAN FORMULA; CANONICAL LOGIC; COMPLETENESS; GENERAL FRAME; INCOMPLETENESS; MODAL LOGIC; TARSKIAN;

LATTICE THEORY; SEMANTICS; STRUCTURAL FRAMES;

FORMAL LOGIC;

EID: 49949103454     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. D. M. Armstrong. A World of States of Affairs. Cambridge University Press, 1997.
2. D. M. Armstrong. Truth and Truth-Makers. Cambridge University Press, 2004.
3. George Boolos and Giovanni Sambin. An incomplete system of modal logic. Journal of Philosophical Logic, 14:351-358, 1985.
4. M. J. Cresswell. Some incompletable modal predicate logics. Logique et Analyse, 160:321-334, 1997.
5. Kit Fine. Some connections between elementary and modal logic. In Stig Kanger, editor, Proceedings of the Third Scandinavian Logic Symposium, pages 15-31. North-Holland, 1975.
6. Silvio Ghilardi. Quantified extensions of canonical propositional intermediate logics. Studia Logica, 51(2):195-214, 1992.
7. Robert Goldblatt. Metamathematics of Modal Logic. PhD thesis, Victoria University, Wellington, February 1974. Included in [8].
8. Robert Goldblatt. Mathematics of Modality. CSLI Lecture Notes No. 43. CSLI Publications, Stanford, California, 1993. Distributed by Chicago University Press.
9. Robert Goldblatt. Quasi-modal equivalence of canonical structures. The Journal of Symbolic Logic, 66:497-508, 2001.
10. Robert Goldblatt, Ian Hodkinson, and Yde Venema. On canonical modal logics that are not elementarily determined. Logique et Analyse, 181:77-101, 2003. Published October 2004.
11. Robert Goldblatt, Ian Hodkinson, and Yde Venema. Erdo″s graphs resolve Fine's canonicity problem. The Bulletin of Symbolic Logic, 10(2):186-208, June 2004.
12. P. R. Halmos. Algebraic Logic. Chelsea, New York, 1962.
13. G. E. Hughes and M. J. Cresswell. A New Introduction to Modal Logic. Routledge, 1996.
14. Edwin D. Mares and Robert Goldblatt. An alternative semantics for quantified relevant logic. The Journal of Symbolic Logic, 71(1):163-187, 2006.
15. Franco Montagna. The predicate modal logic of provability. Notre Dame Journal of Formal Logic, 25:179-189, 1984.
16. Andrjez Mostowski. Proofs of non-deducibility in intuitionistic functional calculus. The Journal of Symbolic Logic, 13(4):204-207, 1948.
17. H. Rasiowa and R. Sikorski. A proof of the completeness theorem of Gödel. Fundamenta Mathematicae, 37:193-200, 1950.
18. H. Rasiowa and R. Sikorski. The Mathematics of Metamathematics. PWN-Polish Scientific Publishers, Warsaw, 1963.
19. Valentin Shehtman and Dmitrij Skvortsov. Semantics of non-classical first-order predicate logics. In P. P. Petkov, editor, Mathematical Logic, pages 105-116. Plenum Press, 1990.
20. D. P. Skvortsov and V. B. Shehtman. Maximal Kripke-type semantics for modal and superintuitionistic predicate logics. Annals of Pure and Applied Logic, 63:69-101, 1993.
21. R. H. Thomason. Some completeness results for modal predicate calculi. In K. Lambert, editor, Philosophical Problems in Logic, pages 56-76. D. Reidel, 1970.
22. S. K. Thomason. Semantic analysis of tense logic. The Journal of Symbolic Logic, 37:150-158, 1972.