{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:24:23Z","timestamp":1767651863553,"version":"build-2065373602"},"reference-count":135,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780444516909"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1016\/s1570-2464(07)80012-7","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T09:38:50Z","timestamp":1191490730000},"page":"549-620","source":"Crossref","is-referenced-by-count":46,"title":["9 First-order modal logic"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1570-2464(07)80012-7_bib1","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1004275029985","article-title":"Modal languages and bounded fragments of predicate logics","volume":"27","author":"Andr\u00e9ka","year":"1998","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib2","doi-asserted-by":"crossref","first-page":"977","DOI":"10.2307\/2695090","article-title":"Hybrid logics, Characterization, interpolation and complexity","volume":"66","author":"Areces","year":"2001","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib3","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/S0168-0072(03)00059-9","article-title":"Repairing the interpolation theorem in quantified modal logic","volume":"124","author":"Areces","year":"2003","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"10.1016\/S1570-2464(07)80012-7_bib4","first-page":"521","article-title":"Effective predicate logics of provability","volume":"297","author":"Artemov","year":"1987","journal-title":"Dokl. Akad. Nauk SSSR"},{"issue":"3","key":"10.1016\/S1570-2464(07)80012-7_bib5","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.2307\/2274475","article-title":"Finite Kripke models and predicate logics of provability","volume":"55","author":"Artemov","year":"1990","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2269159","article-title":"A functional calculus of first order based on strict implication","volume":"11","author":"Barcan","year":"1946","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib7","first-page":"147","article-title":"Free logics","volume":"volume 5","author":"Bencivenga","year":"2002"},{"key":"10.1016\/S1570-2464(07)80012-7_bib8","article-title":"The undecidability of the domino problem","volume":"66","author":"Berger","year":"1966","journal-title":"Memoirs of the Amer. Math. Soc"},{"key":"10.1016\/S1570-2464(07)80012-7_bib9","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1093\/logcom\/10.1.137","article-title":"Internalizing labelled deduction","volume":"10","author":"Blackburn","year":"2000","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1570-2464(07)80012-7_bib10","doi-asserted-by":"crossref","DOI":"10.1007\/s11229-005-5512-y","article-title":"Arthur Prior and hybrid logic","author":"Blackburn","year":"2006"},{"year":"2001","author":"Blackburn","series-title":"Modal Logic, volume 53 of Cambridge Tracts in Theo- retical Computer Science","key":"10.1016\/S1570-2464(07)80012-7_bib11"},{"key":"10.1016\/S1570-2464(07)80012-7_bib12","series-title":"Automated Reasoning with Analytic Tableaux and Related Methods, TABLEA UX 2002, volume 2381 of Lecture Notes in Artificial Intelligence","first-page":"38","article-title":"Tableaux for quantified hybrid logic","author":"Blackburn","year":"2002"},{"key":"10.1016\/S1570-2464(07)80012-7_bib13","doi-asserted-by":"crossref","first-page":"463","DOI":"10.2178\/jsl\/1052669059","article-title":"Constructive interpolation in hybrid logic","volume":"68","author":"Blackburn","year":"2003","journal-title":"Journal of Symbolic Logic"},{"year":"1994","author":"Borceux","series-title":"Handbook of categorical algebra, volume 50-52 of Encyclopedia of Mathematics and its Applications","key":"10.1016\/S1570-2464(07)80012-7_bib14"},{"year":"2001","author":"Borger","series-title":"The classical decision problem","key":"10.1016\/S1570-2464(07)80012-7_bib15"},{"key":"10.1016\/S1570-2464(07)80012-7_bib16_1","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1093\/logcom\/14.3.329","article-title":"Natural deduction for hybrid logic","volume":"14","author":"Brauner","year":"2004","journal-title":"Journal of Logic and Computation"},{"unstructured":"Revised and extended version of paper in Workshop Proceedings of Methods for Modalities 2","key":"10.1016\/S1570-2464(07)80012-7_bib16_2"},{"key":"10.1016\/S1570-2464(07)80012-7_bib17_1","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/s10849-005-3927-y","article-title":"Natural deduction for first-order hybrid logic","volume":"14","author":"Brauner","year":"2005","journal-title":"Journal of Logic, Language and Informa-tion"},{"unstructured":"Revised and extended version of paper in Workshop Proceedings of Fourth Workshop on Hybrid Logics","key":"10.1016\/S1570-2464(07)80012-7_bib17_2"},{"key":"10.1016\/S1570-2464(07)80012-7_bib18","doi-asserted-by":"crossref","DOI":"10.1007\/s10849-006-9013-2","article-title":"Axioms for classical, intuitionistic, and paraconsistent hybrid logic","author":"Brauner","year":"2006","journal-title":"Journal of Logic, Language and Information"},{"year":"1990","author":"Chierchia","series-title":"Meaning and Grammar. An Introduction to Semantics","key":"10.1016\/S1570-2464(07)80012-7_bib19"},{"key":"10.1016\/S1570-2464(07)80012-7_bib20","series-title":"Handbook of Philosophical Logic","first-page":"235","article-title":"Philosophical perspectives on quantification in tense and modal logic","author":"Cocchiarella","year":"2002"},{"year":"1996","series-title":"Logic and Reality, Essays in the Legacy of Arthur Prior","key":"10.1016\/S1570-2464(07)80012-7_bib21"},{"issue":"2","key":"10.1016\/S1570-2464(07)80012-7_bib22","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1305\/ndjfl\/1093634657","article-title":"Quantified modal logics of positive rational numbers and some related systems","volume":"34","author":"Corsi","year":"1993","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib23","article-title":"BF, CBF and Lewis semantics","author":"Corsi","year":"2004","journal-title":"Logique et Analyse"},{"key":"10.1016\/S1570-2464(07)80012-7_bib24","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF01630811","article-title":"Directed frames","volume":"29","author":"Corsi","year":"1989","journal-title":"Archive for Mathematical Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib25","first-page":"167","article-title":"Semantical aspects of quantified modal logic Knowledge, belief, and strategic interaction (Castiglioncello, 1989)","author":"Corsi","year":"1992"},{"key":"10.1016\/S1570-2464(07)80012-7_bib26","series-title":"Handbook of Proof Theory","first-page":"475","article-title":"The Logic of Provability","volume":"Vol.137","author":"de Jongh","year":"1998"},{"key":"10.1016\/S1570-2464(07)80012-7_bib27","series-title":"Mathematical intuitionism, volume 67 of Translations of Mathematical Monographs","doi-asserted-by":"crossref","DOI":"10.1090\/mmono\/067","author":"Dr\u00e1galin","year":"1988"},{"key":"10.1016\/S1570-2464(07)80012-7_bib28","doi-asserted-by":"crossref","DOI":"10.1093\/mind\/fzi001","article-title":"Counterparts and actuality","volume":"114","author":"Fara","year":"2005","journal-title":"Mind"},{"year":"1993","author":"Fermuller","series-title":"Resolution methods for the decision problem, volume 679 of Lecture Notes in Computer Science","key":"10.1016\/S1570-2464(07)80012-7_bib29"},{"key":"10.1016\/S1570-2464(07)80012-7_bib30","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF00245925","article-title":"Model theory for modal logic. I.The de re\/de dicto distinction","volume":"7","author":"Fine","year":"1978","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib31","first-page":"277","article-title":"Model theory for modal logic. II. The elimination of de re modality","volume":"7","author":"Fine","year":"1978","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib32","doi-asserted-by":"crossref","first-page":"201","DOI":"10.2307\/2273727","article-title":"Failures of the interpolation lemma in quantified modal logic","volume":"44","author":"Fine","year":"1979","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib33","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/BF00293421","article-title":"Model theory for modal logic. III. Existence and predication","volume":"10","author":"Fine","year":"1981","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib34","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF02329199","article-title":"The permutation principle in quantificational logic","volume":"12","author":"Fine","year":"1983","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/malq.19730190102","article-title":"A modal logic analog of Smullyan's fundamental theorem","volume":"19","author":"Fitting","year":"1973","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1570-2464(07)80012-7_bib36","first-page":"365","article-title":"Basic modal logic","volume":"volume 1","author":"Fitting","year":"1993"},{"key":"10.1016\/S1570-2464(07)80012-7_bib37","doi-asserted-by":"crossref","first-page":"101","DOI":"10.3233\/FI-1996-281206","article-title":"A modal Herbrand theorem","volume":"28","author":"Fitting","year":"1996","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S1570-2464(07)80012-7_bib38","series-title":"Logic and Foundations of Mathematics","first-page":"219","article-title":"Herbrand's theorem for a modal logic","author":"Fitting","year":"1999"},{"year":"2002","author":"Fitting","series-title":"Types, Tableaus, and Godel's God","key":"10.1016\/S1570-2464(07)80012-7_bib39"},{"key":"10.1016\/S1570-2464(07)80012-7_bib40","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/j.apal.2003.11.014","article-title":"First-order intensional logic","volume":"127","author":"Fitting","year":"2004","journal-title":"Annals of Pure and Applied Logic"},{"year":"1998","author":"Fitting","series-title":"First-Order Modal Logic","key":"10.1016\/S1570-2464(07)80012-7_bib41"},{"year":"1985","author":"Forbes","series-title":"The Metaphysics of Modality","key":"10.1016\/S1570-2464(07)80012-7_bib42"},{"year":"1994","author":"Gabbay","series-title":"Temporal Logic, Mathematical Foundations and Com- putational Aspects (Volume 1)","key":"10.1016\/S1570-2464(07)80012-7_bib43"},{"unstructured":"D. Gabbay, V. Shehtman, and D. Skvortsov. Quantification in Nonclassical Logic. Preliminary draft available at D. Gabbay's homepage http,\/\/www.dcs.kcl.ac","key":"10.1016\/S1570-2464(07)80012-7_bib44"},{"key":"10.1016\/S1570-2464(07)80012-7_bib45","doi-asserted-by":"crossref","first-page":"579","DOI":"10.2307\/2272747","article-title":"Decidability of some intuitionistic predicate theories","volume":"37","author":"Gabbay","year":"1972","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib46","doi-asserted-by":"crossref","first-page":"800","DOI":"10.2307\/2275098","article-title":"Undecidability of modal and intermediate first-order logics with two individual variables","volume":"58","author":"Gabbay","year":"1993","journal-title":"Journal of Symbolic Logic"},{"year":"2003","author":"Gabbay","series-title":"Many-Dimensional Modal Logics, The- ory and Applications, volume 148 of Studies in Logic and the Foundations of Mathematics","key":"10.1016\/S1570-2464(07)80012-7_bib47"},{"year":"1975","author":"Gallin","series-title":"Intensional and Higher-order Modal Logic","key":"10.1016\/S1570-2464(07)80012-7_bib48"},{"key":"10.1016\/S1570-2464(07)80012-7_bib49","first-page":"267","article-title":"Quantification in modal logic","volume":"volume 3","author":"Garson","year":"2001"},{"key":"10.1016\/S1570-2464(07)80012-7_bib50","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF01620621","article-title":"Presheaf semantics and independence results for some non classical first order logics","volume":"29","author":"Ghilardi","year":"1989","journal-title":"Archive for Mathematical Logic"},{"year":"1990","author":"Ghilardi","article-title":"Modalit\u00e0 e Categorie","key":"10.1016\/S1570-2464(07)80012-7_bib51"},{"issue":"2","key":"10.1016\/S1570-2464(07)80012-7_bib52","doi-asserted-by":"crossref","first-page":"517","DOI":"10.2307\/2274697","article-title":"Incompleteness results in Kripke semantics","volume":"56","author":"Ghilardi","year":"1991","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib53","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF00370113","article-title":"Quantified extensions of canonical propositional intermediate logics","volume":"51","author":"Ghilardi","year":"1992","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80012-7_bib54","series-title":"New Essays in Free Logic, volume 23 of Applied Logic Series","first-page":"87","article-title":"Substitution, quantifiers and identity in modal logic","author":"Ghilardi","year":"2001"},{"key":"10.1016\/S1570-2464(07)80012-7_bib55","series-title":"Categorical algebra and its applications, volume 1348 of Lecture Notes in Mathematics","first-page":"130","article-title":"Modal and tense predicate logic, models in presheaves and categorical conceptualization","author":"Ghilardi","year":"1988"},{"key":"10.1016\/S1570-2464(07)80012-7_bib56","first-page":"59","article-title":"Relational and topological semantics for modal and temporal first order predicative logic","volume":"vol. 2","author":"Ghilardi","year":"1991"},{"key":"10.1016\/S1570-2464(07)80012-7_bib57","series-title":"Proc. of the 5th Int. Work. on Frontiers of Combining Systems (FROCOS-05), volume 3717 of Lect. Not. in Art. Int.","article-title":"A comprehensive framework for combined de- cision procedures","author":"Ghilardi","year":"2005"},{"year":"2000","author":"Girle","series-title":"Modal Logics and Philosophy","key":"10.1016\/S1570-2464(07)80012-7_bib58"},{"year":"1987","author":"Goldblatt","series-title":"Logics of Time and Computation","key":"10.1016\/S1570-2464(07)80012-7_bib59"},{"key":"10.1016\/S1570-2464(07)80012-7_bib60","series-title":"Proceedings of CADE-16, volume 1632 of Lecture Notes in Computer Science","first-page":"31","article-title":"Decision procedures for guarded logics","author":"Gr\u2193el","year":"1999"},{"year":"2000","author":"Harel","series-title":"Dynamic Logic","key":"10.1016\/S1570-2464(07)80012-7_bib61"},{"year":"2003","series-title":"Revised and Expanded Edition of Arthur N. Prior, Papers on Time and Tense","key":"10.1016\/S1570-2464(07)80012-7_bib62"},{"key":"10.1016\/S1570-2464(07)80012-7_bib63","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00263656","article-title":"Expressive completeness in modal language","volume":"5","author":"Hazen","year":"1976","journal-title":"Journal of Philosophical Logic"},{"issue":"76","key":"10.1016\/S1570-2464(07)80012-7_bib64","doi-asserted-by":"crossref","first-page":"319","DOI":"10.2307\/2025472","article-title":"Counterpart theoretic semantics for modal logic","author":"Hazen","year":"1979","journal-title":"The Journal of Philosophy"},{"key":"10.1016\/S1570-2464(07)80012-7_bib65","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF00297574","article-title":"Some theorems on the expressive limitations of modal languages","volume":"13","author":"Hodes","year":"1984","journal-title":"Journal of Philosophical Logic"},{"year":"1968","author":"Hughes","series-title":"An Introduction to Modal Logic","key":"10.1016\/S1570-2464(07)80012-7_bib66"},{"year":"1984","author":"Hughes","journal-title":"A Companion to Modal Logic","key":"10.1016\/S1570-2464(07)80012-7_bib67"},{"year":"1996","author":"Hughes","series-title":"A New Introduction to Modal Logic","key":"10.1016\/S1570-2464(07)80012-7_bib68"},{"key":"10.1016\/S1570-2464(07)80012-7_bib69","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1305\/ndjfl\/1093870093","article-title":"An actualist semantics for quantified modal logic","volume":"23","author":"Jager","year":"1982","journal-title":"Notre Dame Journal of Formal Logic"},{"year":"2002","author":"Johnstone","series-title":"Sketches of an Elephant (A Topos Theory Compendium), volume 43-44 of Oxford Logic Guides","key":"10.1016\/S1570-2464(07)80012-7_bib70"},{"year":"2004","author":"Kontchakov","series-title":"Undecidability of first-order intuituionistic and modal logics with two variables","key":"10.1016\/S1570-2464(07)80012-7_bib71"},{"key":"10.1016\/S1570-2464(07)80012-7_bib72","first-page":"299","article-title":"The semantics of modal predicate logic I. Counterpart-frames","volume":"Volume 3","author":"Kracht","year":"2002"},{"key":"10.1016\/S1570-2464(07)80012-7_bib73","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1002\/malq.19620080204","article-title":"The undecidability of monadic modal quantificational theory","volume":"8","author":"Kripke","year":"1962","journal-title":"Z. Math. Logik Grundlag. Math."},{"key":"10.1016\/S1570-2464(07)80012-7_bib74","series-title":"Identity and Individuation","first-page":"135","article-title":"Identity and necessity","author":"Kripke","year":"1971"},{"key":"10.1016\/S1570-2464(07)80012-7_bib75","first-page":"83","article-title":"Semantical considerations in modal logic","volume":"16","author":"Kripke","year":"1963","journal-title":"Acta Philosophica Fennica"},{"year":"1988","author":"Lambek","series-title":"Introduction to higher order categorical logic, volume 7 of Cambridge Studies in Advanced Mathematics","key":"10.1016\/S1570-2464(07)80012-7_bib76"},{"issue":"2","key":"10.1016\/S1570-2464(07)80012-7_bib77","first-page":"333","article-title":"Formal systems for topos-theoretic modalities","volume":"41","author":"Lavendhomme","year":"1989","journal-title":"Bull. Soc. Math. Belg. S\u00e9r. A"},{"key":"10.1016\/S1570-2464(07)80012-7_bib78","series-title":"Applications of Categorical Algebra","first-page":"1","article-title":"Equality in hyperdoctrines and the comprehension schema as an adjoint functor","author":"Lawvere","year":"1970"},{"key":"10.1016\/S1570-2464(07)80012-7_bib79","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/2024555","article-title":"Counterpart theory and quantified modal logic","volume":"65","author":"Lewis","year":"1968","journal-title":"Journal of Philosophy"},{"key":"10.1016\/S1570-2464(07)80012-7_bib80","doi-asserted-by":"crossref","first-page":"203","DOI":"10.2307\/2024902","article-title":"Counterparts of persons and their bodies","volume":"68","author":"Lewis","year":"1971","journal-title":"Journal of Philosophy"},{"key":"10.1016\/S1570-2464(07)80012-7_bib81","first-page":"228","article-title":"\u00dcber Moglichkeiten im Relativkalk\u00fcl","volume":"76","author":"Lowhenheim","year":"1915","journal-title":"Math. Annalen"},{"year":"1971","author":"MacLane","series-title":"Categories for the working mathematician","key":"10.1016\/S1570-2464(07)80012-7_bib82"},{"year":"1992","author":"MacLane","series-title":"Sheaves in Geometry and Logic, a first Introduction to Topos Theory","key":"10.1016\/S1570-2464(07)80012-7_bib83"},{"issue":"1","key":"10.1016\/S1570-2464(07)80012-7_bib84","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0168-0072(93)00085-4","article-title":"Completeness results for intuitionistic and modal logic in a categorical setting","volume":"72","author":"Makkai","year":"1995","journal-title":"Annals of Pure and Applied Logic"},{"year":"1977","author":"Makkai","series-title":"First order categorical logic","key":"10.1016\/S1570-2464(07)80012-7_bib85_1"},{"unstructured":"Model-theoretical methods in the theory of topoi and related categories, Lecture Notes in Mathemat- ics, Vol. 611.","key":"10.1016\/S1570-2464(07)80012-7_bib85_2"},{"key":"10.1016\/S1570-2464(07)80012-7_bib86","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1023\/A:1011207512025","article-title":"Tolerance logic","volume":"10","author":"Marx","year":"2001","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1570-2464(07)80012-7_bib87","series-title":"Formal Philosophy, Selected Papers of Richard Montague","first-page":"148","article-title":"On the nature of certain philosophical entities","author":"Montague","year":"1974"},{"key":"10.1016\/S1570-2464(07)80012-7_bib88","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1002\/malq.19750210118","article-title":"On languages with two variables","volume":"21","author":"Mortimer","year":"1975","journal-title":"Z. Math. Logik Grundlag. Math."},{"issue":"7","key":"10.1016\/S1570-2464(07)80012-7_bib89","doi-asserted-by":"crossref","first-page":"248","DOI":"10.70930\/tac\/ohgmr6c2","article-title":"Change of base for relational variable sets","volume":"12","author":"Niefield","year":"2004","journal-title":"Theory and Applications of Categories"},{"year":"1989","author":"Odifreddi","series-title":"Classical Recursion Theory, volume 125 of Studies in Logic and the Foundations of Mathematics","key":"10.1016\/S1570-2464(07)80012-7_bib90"},{"key":"10.1016\/S1570-2464(07)80012-7_bib91","first-page":"1403","article-title":"Encoding two-valued non-classical log- ics in classical logic","volume":"volume 1","author":"Ohlbach","year":"2001"},{"key":"10.1016\/S1570-2464(07)80012-7_bib92","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF01128202","article-title":"Prior's rediscovery of tense logic","volume":"39","author":"\u00d8hrstr\u00f8m","year":"1993","journal-title":"Erkenntnis"},{"key":"10.1016\/S1570-2464(07)80012-7_bib93","article-title":".A.N. Prior's logic","volume":"volume 6","author":"\u00d8hrstr\u00f8m","year":"2005"},{"key":"10.1016\/S1570-2464(07)80012-7_bib94","doi-asserted-by":"crossref","first-page":"619","DOI":"10.2977\/prims\/1195192964","article-title":"A study of intermediate predicate logics","volume":"8","author":"Ono","year":"1972","journal-title":"Publications of the Research Institute for Mathe-matical Sciences"},{"issue":"4","key":"10.1016\/S1570-2464(07)80012-7_bib95","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/BF00671568","article-title":"On finite linear intermediate predicate logics","volume":"47","author":"Ono","year":"1989","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80012-7_bib96","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF02120875","article-title":"Investigations into quantified modal logic-I","author":"Parks","year":"1976","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80012-7_bib97_1","series-title":"Essays in the Metaphysics of Modality","first-page":"103","article-title":"Actualism and possible worlds","author":"Plantinga","year":"2003"},{"key":"10.1016\/S1570-2464(07)80012-7_bib97_2","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1111\/j.1755-2567.1976.tb00681.x","volume":"42","year":"1976","journal-title":"Theoria"},{"year":"1957","author":"Prior","series-title":"Time and Modality","key":"10.1016\/S1570-2464(07)80012-7_bib98"},{"year":"1967","author":"Prior","series-title":"Past, Present and Future","key":"10.1016\/S1570-2464(07)80012-7_bib99"},{"year":"1968","author":"Prior","series-title":"Papers on Time and Tense","key":"10.1016\/S1570-2464(07)80012-7_bib100"},{"key":"10.1016\/S1570-2464(07)80012-7_bib101","series-title":"The Ways of Paradox and Other Essays","first-page":"156","article-title":"Three grades of modal involvement","author":"Quine","year":"1953"},{"key":"10.1016\/S1570-2464(07)80012-7_bib102","article-title":"The mathematics of metamathematics","volume":"Tom 41","author":"Rasiowa","year":"1963"},{"issue":"3","key":"10.1016\/S1570-2464(07)80012-7_bib103","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1305\/ndjfl\/1093635834","article-title":"A topos-theoretic approach to reference and modality","volume":"32","author":"Reyes","year":"1991","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib104","series-title":"Category Theory, volume 1488 of Lecture Notes in Mathematics","first-page":"359","article-title":"Topos-theoretic approaches to modality","author":"Reyes","year":"1991"},{"key":"10.1016\/S1570-2464(07)80012-7_bib105","series-title":"Logical investigations, No. 8 (Russian) (Moscow, 1901)","first-page":"155","article-title":"Enumerability of modal predicate logics and the breaking of increasing chains","author":"Rybakov","year":"2001"},{"key":"10.1016\/S1570-2464(07)80012-7_bib106","series-title":"Logical investigations, No. 9 (Russian)","first-page":"179","article-title":"On the algorithmic expressibility of a modal language with only one monadic predicate letter","author":"Rybakov","year":"2002"},{"key":"10.1016\/S1570-2464(07)80012-7_bib107","first-page":"477","article-title":"A decision method for for validity of sentences in two variables","volume":"27","author":"Scott","year":"1962","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib108","series-title":"Philosophical Problems in Logic","first-page":"143","article-title":"Advice on modal logic","author":"Scott","year":"1970"},{"key":"10.1016\/S1570-2464(07)80012-7_bib109","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF02115610","article-title":"Two-dimensional modal logic","volume":"2","author":"Segerberg","year":"1973","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib110","first-page":"326","article-title":"On some two-dimensional modal logics","volume":"vol. 1","author":"Shehtman","year":"1987"},{"key":"10.1016\/S1570-2464(07)80012-7_bib111","series-title":"Math- ematical logic","first-page":"105","article-title":"Semantics of non-classical first-order predicate logics","author":"Shehtman","year":"1990"},{"issue":"1","key":"10.1016\/S1570-2464(07)80012-7_bib112","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF01053062","article-title":"Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas","volume":"52","author":"Shimura","year":"1993","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80012-7_bib113","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1023\/A:1005219831286","article-title":"Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a non-trivial cluster","volume":"65","author":"Shimura","year":"2000","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80012-7_bib114","series-title":"Advances in Modal Logic I","first-page":"223","article-title":"Duality in superintuitionistic and modal predicate logics","author":"Shirasu","year":"1998"},{"issue":"1","key":"10.1016\/S1570-2464(07)80012-7_bib115","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/BF01058533","article-title":"On the predicate logics of finite Kripke frames","volume":"54","author":"Skvortsov","year":"1995","journal-title":"Studia Logica"},{"issue":"3","key":"10.1016\/S1570-2464(07)80012-7_bib116","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1023\/A:1005088429206","article-title":"Not every \u201ctabular\u201d predicate logic is finitely axiomatizable","volume":"59","author":"Skvortsov","year":"1997","journal-title":"Studia Logica"},{"issue":"3","key":"10.1016\/S1570-2464(07)80012-7_bib117","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1023\/B:STUD.0000039028.22017.4f","article-title":"On intermediate predicate logics of some finite Kripke frames. I. Levelwise uniform trees","volume":"77","author":"Skvortsov","year":"2004","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80012-7_bib118","doi-asserted-by":"crossref","DOI":"10.1007\/s11225-005-3706-4","article-title":"On the predicate logics of linear Kripke frames and some its extensions","author":"Skvortsov","year":"2005","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80012-7_bib119","first-page":"115","article-title":"On axiomatizability of some intermediate predicate logics","volume":"22","author":"Skvortsov","year":"1988","journal-title":"Reports on Mathematical Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib120","doi-asserted-by":"crossref","DOI":"10.2178\/jsl\/1120224722","article-title":"The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable","author":"Skvortsov","year":"2005","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib121","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/0168-0072(93)90210-5","article-title":"Maximal Kripke-type semantics for modal and superintuitionistic predicate logics","volume":"63","author":"Skvortsov","year":"1993","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib122","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1111\/j.1755-2567.1968.tb00351.x","article-title":"Abstraction in first-order modal logic","volume":"34","author":"Stalnaker","year":"1968","journal-title":"Theoria"},{"key":"10.1016\/S1570-2464(07)80012-7_bib123","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1023\/A:1013360121031","article-title":"First-order expressivity for S5-models: Modal vs.two-sorted languages","volume":"30","author":"Sturm","year":"2001","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1570-2464(07)80012-7_bib124","first-page":"51","article-title":"Zur Reduktion des Entscheidungsproblem des logischen Funktionskalc\u00fcls","volume":"50","author":"Sura\u0144y","year":"1943","journal-title":"Matematika Fizika Lepok"},{"key":"10.1016\/S1570-2464(07)80012-7_bib125","series-title":"Advances in Modal Logic II","first-page":"401","article-title":"Rasiowa-Sikorski lemma and Kripke completeness of predicate and infinitary modal logics","author":"Tanaka","year":"2001"},{"key":"10.1016\/S1570-2464(07)80012-7_bib126","doi-asserted-by":"crossref","first-page":"359","DOI":"10.2307\/2214461","article-title":"Modality and reference","volume":"2","author":"Thomason","year":"1968","journal-title":"Nous"},{"key":"10.1016\/S1570-2464(07)80012-7_bib127","article-title":"Modal Logic and Classical Logic","author":"van Benthem","year":"1983","journal-title":"Bibliopolis"},{"key":"10.1016\/S1570-2464(07)80012-7_bib128","series-title":"Diamonds and Defaults","first-page":"1","article-title":"Beyond accessibility, Functional models for modal logic","author":"van Benthem","year":"1993"},{"key":"10.1016\/S1570-2464(07)80012-7_bib129","first-page":"325","article-title":"Correspondence theory","volume":"volume 3","author":"van Benthem","year":"2001"},{"key":"10.1016\/S1570-2464(07)80012-7_bib130","doi-asserted-by":"crossref","first-page":"1415","DOI":"10.2307\/2695115","article-title":"Decidable fragments of first-order modal logics","volume":"66","author":"Wolter","year":"2001","journal-title":"Journal of Symbolic Logic"},{"issue":"5","key":"10.1016\/S1570-2464(07)80012-7_bib131","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1002\/malq.19890350507","article-title":"Axiomatization of the first-order intermediate logics of bounded kripkian heights, 1","volume":"35","author":"Yokota","year":"1989","journal-title":"Z. Math. Logik Grundlag. Math."}],"container-title":["Studies in Logic and Practical Reasoning","Handbook of Modal Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570246407800127?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570246407800127?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T23:15:16Z","timestamp":1761606916000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1570246407800127"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9780444516909"],"references-count":135,"URL":"https:\/\/doi.org\/10.1016\/s1570-2464(07)80012-7","relation":{},"ISSN":["1570-2464"],"issn-type":[{"type":"print","value":"1570-2464"}],"subject":[],"published":{"date-parts":[[2007]]}}}