First-order intensional logic

Annals of Pure and Applied Logic

Volumn 127, Issue 1-3 SPEC. ISS., 2004, Pages 171-193

  Fitting, Melvin ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

Counterpart semantics; Intensional logic; Kripke models; Modal logic; Quantifiers; Tableaus

Indexed keywords

EID: 2342623480     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2003.11.014     Document Type: Article

References (29)

1. Fitting M.C. Tableau methods of proof for modal logics Notre Dame J. Formal Logic 13 1972 237-247
2. Fitting M.C. Proof Methods for Modal and Intuitionistic Logics 1983 D. Reidel Publishing Co. Dordrecht
3. M.C. Fitting, Databases and higher types, in: J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K.-K. Lau, C. Palamidessi, L.M. Pereira, Y. Sagiv, P. Stuckey (Eds.), Computational Logic-CL 2000, Lecture Notes in Artificial Intelligence, vol. 1861, 2000, Springer-Verlag, Berlin-Heidelberg-New York, pp. 41-52.
4. M.C. Fitting, Modality and databases, in: R. Dyckhoff (Ed.), Automated Reasoning with Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence, vol. 1847, 2000, Springer-Verlag, Berlin-Heidelberg-New York, pp. 19-39.
5. Fitting M.C. Modal logics between propositional and first-order J. Logic Comput. 12 2002 1017-1026
6. Fitting M.C. Types, Tableaus, and Gödel's God 2002 Kluwer Dordrecht
7. Fitting M.C. Mendelsohn R. First-Order Modal Logic 1998 Kluwer Dordrecht
8. Gallin D. Intensional and Higher-order Modal Logic 1975 North-Holland Amsterdam
9. Ghilardi S. Incompleteness results in Kripke semantics J. Symbol. Logic 56 1991 516-538
10. Ghilardi S. Quantified extensions of canonical propositional intermediate logics Studia Logica 51 1992 195-214
11. Goré R. Tableau methods for modal and temporal logics, 1996 in: D'Agostino M. Gabbay D. Hähnle R. Posegga J. (Eds.), Handbook of Tableau Methods 1999 Kluwer Dordrecht
12. Hughes G.E. Cresswell M.J. An Introduction to Modal Logic 1968 Methuen London
13. Kracht M. How completeness and correspondence theory got married in: de Rijke M. (Ed.), Diamonds and Defaults 1993 Kluwer Dordrecht
14. Kracht M. Kutz O. The semantics of modal predicate logic I, counterpart frames in: Wolter F. Wansing H. de Rijke M. Zakharyaschev M. (Eds.), Advances in Modal Logic vol. 3 2001 CSLI Publications Stanford
15. M. Kracht, O. Kutz, The semantics of modal predicate logic II, modal individuals revisited, in: R. Kahle (Ed.), Intensionality. Proc. of a Conf. Held at Munich, 27th-29th October 2000, Lecture Notes in Logic, A. K. Peters, 2003, to appear.
16. S. Kripke, Semantical considerations on modal logics, in: Acta Philosophica Fennica, Modal and Many-valued Logics, Philosophical Society of Finland, Helsinki, 1963, pp. 83-94.
17. O. Kutz, Kripke-type Semantiken für die modale Prädikatenlogik, Master's Thesis, Humboldt-Universität zu Berlin, 2000.
18. O. Kutz, A logic that needs multiple counterpart relations, 2001, private communication.
19. O. Kutz, New semantics for modal predicate logics, Foundations of the Formal Sciences II, Trends in Logic, Kluwer, Dordrecht, 2002.
20. Lewis D. Counterpart theory and quantified modal logic J. Philos. 65 1968 113-126
21. Lewis D. Counterparts of persons and their bodies J. Philos. 68 1971 203-211
22. Massacci F. Strongly analytic tableaux for normal modal logics in: Bundy A. (Ed.), Proceedings of CADE 12 Lecture Notes in Artificial Intelligence vol. 814 1994 723-737 Springer Berlin
23. Montague R. On the nature of certain philosophical entities The Monist 53 1960 159-194
24. Montague R. Pragmatics in: Klibansky R. (Ed.), Contemporary Philosophy: a Survey 1968 102-122 La Nuova Italia Editrice Florence
25. Montague R. Pragmatics and intensional logic Synthèse 22 1970 68-94
26. Shirasu H. Duality in superintuitionistic and modal predicate logics in: Kracht M. (Ed.), Advances in Modal Logic 1998 223-236 CSLI Publications Stanford
27. Skvortsov D.P. Shehtman V.B. Maximal Kripke-type semantics for modal and superintuitionistic predicate logics Ann. Pure Appl. Logic 63 1993 69-101
28. Slater B.H. Modal semantics Logique et Anal. 127-128 1989 195-209
29. Suzuki N.-Y. Algebraic Kripke sheaf semantics for non-classical logics Studia Logica 63 1999 387-416