9 First-order modal logic

Studies in Logic and Practical Reasoning

Volumn 3, Issue , 2007, Pages 549-620

  Braüner, Torben ^a   Ghilardi, Silvio ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 40849120032     PISSN: 15702464     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S1570-2464(07)80012-7     Document Type: Article

References (135)

1. Andréka H., Nemeti I., and VanBenthem J. Modal languages and bounded fragments of predicate logics. Journal of Philosophical Logic 27 (1998) 217-274
2. Areces C., Blackburn P., and Marx M. Hybrid logics, Characterization, interpolation and complexity. Journal of Symbolic Logic 66 (2001) 977-1010
3. Areces C., Blackburn P., and Marx M. Repairing the interpolation theorem in quantified modal logic. Annals of Pure and Applied Logic 124 (2003) 287-299
4. Artemov S.N., and Dzhaparidze G.K. Effective predicate logics of provability. Dokl. Akad. Nauk SSSR 297 3 (1987) 521-523
5. Artemov S., and Dzhaparidze G. Finite Kripke models and predicate logics of provability. J. Symbolic Logic 55 3 (1990) 1090-1098
6. Barcan R.C. A functional calculus of first order based on strict implication. Journal of Symbolic Logic 11 (1946) 1-16
7. Bencivenga E. Free logics. In: Gabbay D.M., and Guenthner F. (Eds). Handbook of Philosophical Logic. 2nd Edition volume 5 (2002), Kluwer Academic Publishers 147-196
8. Berger R. The undecidability of the domino problem. Memoirs of the Amer. Math. Soc 66 (1966)
9. Blackburn P. Internalizing labelled deduction. Journal of Logic and Computation 10 (2000) 137-168
10. Special issue. Blackburn P. Arthur Prior and hybrid logic. In: Braüner T., Hasle P., and Øhrstrøm P. (Eds). Synthese (2006)
11. Blackburn P., de Rijke M., and Venema Y. Modal Logic, volume 53 of Cambridge Tracts in Theo- retical Computer Science (2001), Cambridge University Press
12. Blackburn P., and Marx M. Tableaux for quantified hybrid logic. In: Egly U., and Fermüller C. (Eds). Automated Reasoning with Analytic Tableaux and Related Methods, TABLEA UX 2002, volume 2381 of Lecture Notes in Artificial Intelligence (2002), Springer-Verlag 38-52
13. Blackburn P., and Marx M. Constructive interpolation in hybrid logic. Journal of Symbolic Logic 68 (2003) 463-480
14. Basic category theory. Borceux F. Handbook of categorical algebra, volume 50-52 of Encyclopedia of Mathematics and its Applications (1994), Cambridge University Press, Cambridge
15. Reprint of the 1997 original. Borger E., Gr↓el E., and Gurevich Y. The classical decision problem (2001), Universitext. Springer- Verlag, Berlin
16. Brauner T. Natural deduction for hybrid logic. Journal of Logic and Computation 14 (2004) 329-353
17. Revised and extended version of paper in Workshop Proceedings of Methods for Modalities 2
18. Brauner T. Natural deduction for first-order hybrid logic. Journal of Logic, Language and Informa-tion 14 (2005) 173-198
19. Revised and extended version of paper in Workshop Proceedings of Fourth Workshop on Hybrid Logics
20. To appear. Brauner T. Axioms for classical, intuitionistic, and paraconsistent hybrid logic. Journal of Logic, Language and Information (2006)
21. Chierchia G., and McConnell-Ginet S. Meaning and Grammar. An Introduction to Semantics (1990), MIT Press, Cambridge, Mass.
22. Cocchiarella N.B. Philosophical perspectives on quantification in tense and modal logic. In: Gabbay D.M., and Guenthner F. (Eds). Handbook of Philosophical Logic. 2nd Edition (2002), Kluwer Academic Publishers 235-275 volume 7
23. In: Copeland J. (Ed). Logic and Reality, Essays in the Legacy of Arthur Prior (1996), Oxford University Press/Clarendon Press
24. Corsi G. Quantified modal logics of positive rational numbers and some related systems. Notre Dame J. Formal Logic 34 2 (1993) 263-283
25. to appear. Corsi G. BF, CBF and Lewis semantics. Logique et Analyse (2004)
26. Corsi G., and Ghilardi S. Directed frames. Archive for Mathematical Logic 29 (1989) 53-67
27. Corsi G., and Ghilardi S. Semantical aspects of quantified modal logic Knowledge, belief, and strategic interaction (Castiglioncello, 1989). Cambridge Stud. Probab. Induc. Decis. Theory (1992), Cambridge Univ. Press, Cambridge 167-195
28. Armsterdam. de Jongh D., and Dzhaparidze G. The Logic of Provability. In: Buss S.R. (Ed). Handbook of Proof Theory. Studies in Logic and the Foundations of Mathematics Vol.137 (1998), Elsevier 475-546
29. Introduction to proof theory, Translated from the Russian by Elliott Mendelson, Translation edited by Ben Silver. Drágalin A.G. Mathematical intuitionism, volume 67 of Translations of Mathematical Monographs (1988), American Mathematical Society, Providence, RI
30. to appear. Fara M., and Williamson T. Counterparts and actuality. Mind 114 (2005)
31. Lecture Notes in Artificial Intelligence. Fermuller C., Leitsch A., Tammet T., and Zamov N. Resolution methods for the decision problem, volume 679 of Lecture Notes in Computer Science (1993), Springer-Verlag, Berlin
32. Fine K. Model theory for modal logic. I.The de re/de dicto distinction. Journal of Philosophical Logic 7 (1978) 125-156
33. Fine K. Model theory for modal logic. II. The elimination of de re modality. Journal of Philosophical Logic 7 (1978) 277-306
34. Fine K. Failures of the interpolation lemma in quantified modal logic. Journal of Symbolic Logic 44 (1979) 201-206
35. Fine K. Model theory for modal logic. III. Existence and predication. Journal of Philosophical Logic 10 (1981) 293-307
36. Fine K. The permutation principle in quantificational logic. Journal of Philosophical Logic 12 (1983) 33-37
37. Fitting M. A modal logic analog of Smullyan's fundamental theorem. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 19 (1973) 1-16
38. Fitting M. Basic modal logic. In: Gabbay D., et al. (Ed). Handbook of Logic in Artificial Intelligence and Logic Programming volume 1 (1993), Oxford University Press, Oxford 365-448
39. Fitting M. A modal Herbrand theorem. Fundamenta Informaticae 28 (1996) 101-122
40. Fitting M. Herbrand's theorem for a modal logic. In: Cantini A., Casari E., and Minari P. (Eds). Logic and Foundations of Mathematics (1999), Kluwer Academic Publishers 219-225
41. Fitting M. Types, Tableaus, and Godel's God (2002), Kluwer
42. Essays in the memory of Alfred Tarski. Parts IV, V and VI. Fitting M. First-order intensional logic. Annals of Pure and Applied Logic 127 (2004) 171-193
43. Fitting M., and Mendelsohn R.L. First-Order Modal Logic (1998), Kluwer
44. Forbes G. The Metaphysics of Modality (1985), Clarendon Press, Oxford
45. Gabbay D., Hodkinson I., and Reynolds M. Temporal Logic, Mathematical Foundations and Com- putational Aspects (Volume 1) (1994), Oxford University Press
46. D. Gabbay, V. Shehtman, and D. Skvortsov. Quantification in Nonclassical Logic. Preliminary draft available at D. Gabbay's homepage http,//www.dcs.kcl.ac
47. Gabbay D.M. Decidability of some intuitionistic predicate theories. Journal of Symbolic Logic 37 (1972) 579-587
48. Gabbay D.M., and Shehtman V.B. Undecidability of modal and intermediate first-order logics with two individual variables. Journal of Symbolic Logic 58 (1993) 800-823
49. Gabbay D.M., Kurucz A., Wolter F., and Zakharyaschev M. Many-Dimensional Modal Logics, The- ory and Applications, volume 148 of Studies in Logic and the Foundations of Mathematics (2003), Elsevier
50. Gallin D. Intensional and Higher-order Modal Logic (1975), North-Holland, Amsterdam
51. Garson J.W. Quantification in modal logic. In: Gabbay D.M., and Guenthner F. (Eds). Handbook of Philosophical Logic. 2nd Edition volume 3 (2001), Kluwer Academic Publishers 267-323
52. Ghilardi S. Presheaf semantics and independence results for some non classical first order logics. Archive for Mathematical Logic 29 (1989) 125-136
53. Milano. Ghilardi S. Modalità e Categorie. (English translation in preparation). PhD thesis (1990)
54. Ghilardi S. Incompleteness results in Kripke semantics. Journal of Symbolic Logic 56 2 (1991) 517-538
55. Ghilardi S. Quantified extensions of canonical propositional intermediate logics. Studia Logica 51 (1992) 195-214
56. Ghilardi S. Substitution, quantifiers and identity in modal logic. New Essays in Free Logic, volume 23 of Applied Logic Series (2001), Kluwer 87-115
57. Ghilardi S., and Meloni G. Modal and tense predicate logic, models in presheaves and categorical conceptualization. Categorical algebra and its applications, volume 1348 of Lecture Notes in Mathematics (1988), Springer 130-142
58. Ghilardi S., and Meloni G. Relational and topological semantics for modal and temporal first order predicative logic. Nuovi problemi della logica e della filosofia della scienza vol. 2 (1991), CLUEB, Bologna 59-77
59. (extended version available as Technical Report n.304-05, Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano). Ghilardi S., Nicolini E., and Zucchelli D. A comprehensive framework for combined de- cision procedures. Proc. of the 5th Int. Work. on Frontiers of Combining Systems (FROCOS-05), volume 3717 of Lect. Not. in Art. Int. (2005), Springer-Verlag
60. Girle R. Modal Logics and Philosophy (2000), Acumen
61. Goldblatt R. Logics of Time and Computation (1987), CSLI Publications
62. Gr↓el E. Decision procedures for guarded logics. Proceedings of CADE-16, volume 1632 of Lecture Notes in Computer Science (1999), Springer 31-51
63. Harel D., Kozen D., and Tiuryn J. Dynamic Logic (2000), MIT Press
64. In: Hasle P., Øhrstrøm P., Braüner T., and Copeland J. (Eds). Revised and Expanded Edition of Arthur N. Prior, Papers on Time and Tense (2003), Oxford University Press
65. Hazen A. Expressive completeness in modal language. Journal of Philosophical Logic 5 (1976) 25-46
66. Hazen A. Counterpart theoretic semantics for modal logic. The Journal of Philosophy 76 (1979) 319-338
67. Hodes H.T. Some theorems on the expressive limitations of modal languages. Journal of Philosophical Logic 13 (1984) 13-26
68. Methuen. Hughes G.E., and Cresswell M.J. An Introduction to Modal Logic (1968)
69. Methuen. Hughes G.E., and Cresswell M.J. A Companion to Modal Logic (1984)
70. Routledge. Hughes G.E., and Cresswell M.J. A New Introduction to Modal Logic (1996)
71. Jager T. An actualist semantics for quantified modal logic. Notre Dame Journal of Formal Logic 23 (1982) 335-349
72. Johnstone P.T. Sketches of an Elephant (A Topos Theory Compendium), volume 43-44 of Oxford Logic Guides (2002), Clarendon Press
73. manuscript. Kontchakov R., Kurucz A., and Zakharyaschev M. Undecidability of first-order intuituionistic and modal logics with two variables (2004)
74. Kracht M., and Kutz O. The semantics of modal predicate logic I. Counterpart-frames. In: Wansing H., de Rijke M., and Zakharyaschev M. (Eds). Advances in Modal Logic Volume 3 (2002), World Scientific 299-320
75. Kripke S. The undecidability of monadic modal quantificational theory. Z. Math. Logik Grundlag. Math. 8 (1962) 113-116
76. Kripke S. Identity and necessity. Identity and Individuation (1971), New York University Press 135-164
77. Kripke S.A. Semantical considerations in modal logic. Acta Philosophica Fennica 16 (1963) 83-94
78. Reprint of the 1986 original. Lambek J., and Scott P.J. Introduction to higher order categorical logic, volume 7 of Cambridge Studies in Advanced Mathematics (1988), Cambridge University Press, Cambridge
79. Lavendhomme R., Lucas Th., and Reyes G.E. Formal systems for topos-theoretic modalities. Bull. Soc. Math. Belg. Sér. A 41 2 (1989) 333-372
80. Lawvere F.W. Equality in hyperdoctrines and the comprehension schema as an adjoint functor. Applications of Categorical Algebra (1970), American Mathematical Society 1-14
81. Lewis D. Counterpart theory and quantified modal logic. Journal of Philosophy 65 (1968) 113-126
82. Lewis D. Counterparts of persons and their bodies. Journal of Philosophy 68 (1971) 203-211
83. Lowhenheim L. Über Moglichkeiten im Relativkalkül. Math. Annalen 76 (1915) 228-251
84. MacLane S. Categories for the working mathematician (1971), Springer
85. MacLane S., and Moerdijk I. Sheaves in Geometry and Logic, a first Introduction to Topos Theory (1992)
86. Makkai M., and Reyes G.E. Completeness results for intuitionistic and modal logic in a categorical setting. Annals of Pure and Applied Logic 72 1 (1995) 25-101
87. Makkai M., and E. Reyes G. First order categorical logic (1977), Springer-Verlag, Berlin
88. Model-theoretical methods in the theory of topoi and related categories, Lecture Notes in Mathemat- ics, Vol. 611.
89. Marx M. Tolerance logic. Journal of Logic, Language and Information 10 (2001) 353-374
90. Montague R. On the nature of certain philosophical entities. Formal Philosophy, Selected Papers of Richard Montague (1974), Yale University Press 148-187
91. Mortimer M. On languages with two variables. Z. Math. Logik Grundlag. Math. 21 (1975) 135-140
92. Niefield S. Change of base for relational variable sets. Theory and Applications of Categories 12 7 (2004) 248-261
93. Odifreddi P. Classical Recursion Theory, volume 125 of Studies in Logic and the Foundations of Mathematics (1989), North Holland
94. Ohlbach H.J., Nonnengart A., de Rijke M., and Gabbay D.M. Encoding two-valued non-classical log- ics in classical logic. In: Robinson J.A., and Voronkov A. (Eds). Handbook of Automated Reasoning volume 1 (2001), MIT Press 1403-1486
95. Øhrstrøm P., and Hasle. A.N P. Prior's rediscovery of tense logic. Erkenntnis 39 (1993) 23-50
96. Øhrstrøm P., and Hasle P. .A.N. Prior's logic. In: Gabbay D., and Woods J. (Eds). Logic and the Modalities in the Twentieth Century. The Handbook of the History of Logic volume 6 (2005), Elsevier
97. Ono H. A study of intermediate predicate logics. Publications of the Research Institute for Mathe-matical Sciences 8 (1972) 619-649
98. 1988. Ono H. On finite linear intermediate predicate logics. Studia Logica 47 4 (1989) 391-399
99. Parks Z. Investigations into quantified modal logic-I. Studia Logica (1976) 109-125
100. Plantinga A. Actualism and possible worlds. Essays in the Metaphysics of Modality (2003), Oxford University Press 103-121
101. Theoria 42 (1976) 139-160
102. Prior A. Time and Modality (1957), Oxford University Press, Clarendon
103. Prior A. Past, Present and Future (1967), Oxford University Press, Clarendon
104. Prior A. Papers on Time and Tense (1968), Oxford University Press, Clarendon
105. Quine W.V.O. Three grades of modal involvement. The Ways of Paradox and Other Essays (1953), Random House 156-174
106. Rasiowa H., and Sikorski R. The mathematics of metamathematics. Monografie Matematy- czne Tom 41 (1963), Państwowe Wydawnictwo Naukowe, Warsaw
107. Reyes G.E. A topos-theoretic approach to reference and modality. Notre Dame J. Formal Logic 32 3 (1991) 359-391
108. Reyes G.E., and Zolfaghari H. Topos-theoretic approaches to modality. Category Theory, volume 1488 of Lecture Notes in Mathematics (1991), Springer 359-378
109. Rybakov M.N. Enumerability of modal predicate logics and the breaking of increasing chains. Logical investigations, No. 8 (Russian) (Moscow, 1901) (2001), Nauka, Moscow 155-167
110. Rybakov M.N. On the algorithmic expressibility of a modal language with only one monadic predicate letter. Logical investigations, No. 9 (Russian) (2002), Nauka, Moscow 179-201
111. Scott D. A decision method for for validity of sentences in two variables. Journal of Symbolic Logic 27 (1962) 477
112. Scott D.S. Advice on modal logic. In: Lambert K. (Ed). Philosophical Problems in Logic (1970), D. Reidel Publishing Company 143-173
113. Segerberg K. Two-dimensional modal logic. Journal of Philosophical Logic 2 (1973) 77-96
114. Shehtman V.B. On some two-dimensional modal logics. 8th Congress on Logic Methodology and Philosophy of Science vol. 1 (1987), Nauka, Moskow 326-330
115. Shehtman V.B., and Skvortsov D.P. Semantics of non-classical first-order predicate logics. Math- ematical logic (1990), Plenum Press, New York 105-116
116. Shimura T. Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas. Studia Logica 52 1 (1993) 23-40
117. Shimura T. Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a non-trivial cluster. Studia Logica 65 (2000) 237-247
118. number 87 in CSLI Lecture Notes. Shirasu H. Duality in superintuitionistic and modal predicate logics. Advances in Modal Logic I (1998), CSLI Publ., Stanford, CA 223-236
119. Skvortsov D.P. On the predicate logics of finite Kripke frames. Studia Logica 54 1 (1995) 79-88
120. Skvortsov D.P. Not every "tabular" predicate logic is finitely axiomatizable. Studia Logica 59 3 (1997) 387-396
121. Skvortsov D.P. On intermediate predicate logics of some finite Kripke frames. I. Levelwise uniform trees. Studia Logica 77 3 (2004) 295-323
122. to appear. Skvortsov D.P. On the predicate logics of linear Kripke frames and some its extensions. Studia Logica (2005)
123. Skvortsov D.P. On axiomatizability of some intermediate predicate logics. Reports on Mathematical Logic 22 (1988) 115-116
124. to appear. Skvortsov D.P. The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable. Journal of Symbolic Logic (2005)
125. Skvortsov D.P., and Shehtman V.B. Maximal Kripke-type semantics for modal and superintuitionistic predicate logics. Annals of Pure and Applied Logic 63 (1993) 69-101
126. Stalnaker R., and Thomason R. Abstraction in first-order modal logic. Theoria 34 (1968) 203-207
127. Sturm H., and Wolter F. First-order expressivity for S5-models: Modal vs.two-sorted languages. Journal of Philosophical Logic 30 (2001) 571-591
128. Surańy J. Zur Reduktion des Entscheidungsproblem des logischen Funktionskalcüls. Matematika Fizika Lepok 50 (1943) 51-74
129. number 119 in CSLI Lecture Notes. Tanaka Y., and Ono H. Rasiowa-Sikorski lemma and Kripke completeness of predicate and infinitary modal logics. Advances in Modal Logic II (2001), CSLI Publ., Stanford, CA 401-419
130. Thomason R., and Stalnaker R. Modality and reference. Nous 2 (1968) 359-372
131. van Benthem J. Modal Logic and Classical Logic. Bibliopolis (1983)
132. van Benthem J. Beyond accessibility, Functional models for modal logic. In: de Rijke M. (Ed). Diamonds and Defaults (1993), Kluwer Publ., Dordrecht, The Netherlands 1-18
133. van Benthem J. Correspondence theory. In: Gabbay D.M., and Guenthner F. (Eds). Handbook of Philosophical Logic. 2nd Edition volume 3 (2001), Kluwer Academic Publishers 325-408
134. Wolter F., and Zakharyaschev M. Decidable fragments of first-order modal logics. Journal of Symbolic Logic 66 (2001) 1415-1438
135. Yokota S. Axiomatization of the first-order intermediate logics of bounded kripkian heights, 1. Z. Math. Logik Grundlag. Math. 35 5 (1989) 414-421