A unified completeness theorem for quantified modal logics

Journal of Symbolic Logic

Volumn 67, Issue 4, 2002, Pages 1483-1510

  Corsi, Giovanna ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0036950425     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2178/jsl/1190150295     Document Type: Article

References (8)

1. Giovanna Corsi, Quantified modal logic with rigid terms, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 34 (1988), pp. 251-259.
2. Giovanna Corsi, Counterparts and possible worlds. A study on quantified modal logics, Preprint, Dipartimento di Filosofia, Università di Bologna, vol. 21 (2001), pp. 1-61.
3. MeLvin Fitting and Richard L. MendeLsoHn, First-order modal logic, Kluwer A P, 1998.
4. James Garson, Quantification in modal logic, Handbook of philosophical logic (D. Gabbay and F. Guenthner, editors), vol. II, Kluwer A P, Dordrecht, 1984, pp. 249-307.
5. James Garson, Quantification in modal logic, Handbook of philosophical logic (D. Gabbay and F. Guenthner, editors), vol. II, Kluwer A P, Dordrecht, 2nd ed., 2002, pp. 249-307.
6. George Hughes and Max CressweLL, A new introduction to modal logic, Routledge, London, 1996.
7. Saul Kripke, Semantical considerations on modal logics, Acta Philosophica Fennica, vol. 16 (1963), pp. 83-94.
8. Richmond H. ThomAson, Some completeness results for modal predicate calculi, Philosophical problems in logic: Some recent developments (Karel Lambert, editor), Kluwer A P, Dordrecht, 1970, pp. 56-76.