{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:54:02Z","timestamp":1775040842520,"version":"3.50.1"},"reference-count":145,"publisher":"Elsevier","isbn-type":[{"value":"9780444516909","type":"print"}],"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)80004-8","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T09:38:50Z","timestamp":1191490730000},"page":"1-84","source":"Crossref","is-referenced-by-count":54,"title":["1 Modal logic: a semantic perspective"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1570-2464(07)80004-8_bib1","series-title":"Words, Proofs and Diagrams","first-page":"5","article-title":"Logical patterns in space","author":"Aiello","year":"2002"},{"issue":"6","key":"10.1016\/S1570-2464(07)80004-8_bib2","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1093\/logcom\/13.6.889","article-title":"Reasoning about space: The modal way","volume":"13","author":"Aiello","year":"2003","journal-title":"Journal of Logic and Computation"},{"issue":"6","key":"10.1016\/S1570-2464(07)80004-8_bib3","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/TC.1978.1675141","article-title":"Binary decision diagrams","volume":"C-27","author":"Akers","year":"1978","journal-title":"IEEE Transactions on Computers"},{"key":"10.1016\/S1570-2464(07)80004-8_bib4","doi-asserted-by":"crossref","first-page":"243","DOI":"10.2307\/2586762","article-title":"Finite algebras of relations are representable on finite sets","volume":"64","author":"Andr\u00e9ka","year":"1999","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib5","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1004275029985","article-title":"Modal languages and bounded fragments of predicate logic","volume":"27","author":"Andr\u00e9ka","year":"1998","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"10.1016\/S1570-2464(07)80004-8_bib6","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"},{"issue":"1-3","key":"10.1016\/S1570-2464(07)80004-8_bib7","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":"123","author":"Areces","year":"2003","journal-title":"Annals of Pure and Applied Logics"},{"key":"10.1016\/S1570-2464(07)80004-8_bib8","article-title":"STS: a structural theory of sets","volume":"Volume 2","author":"Baltag","year":"2000"},{"key":"10.1016\/S1570-2464(07)80004-8_bib9","series-title":"Model-Theoretic Logics","author":"Barwise","year":"1985"},{"key":"10.1016\/S1570-2464(07)80004-8_bib10","series-title":"Vicious Circles","author":"Barwise","year":"1996"},{"key":"10.1016\/S1570-2464(07)80004-8_bib11","doi-asserted-by":"crossref","first-page":"881","DOI":"10.2307\/2586507","article-title":"Interpolation, preservation, and pebble games","volume":"29","author":"Barwise","year":"1999","journal-title":"Journal of Symbolic Logic"},{"issue":"72","key":"10.1016\/S1570-2464(07)80004-8_bib12","article-title":"The undecidability of the domino problem","volume":"66","author":"Berger","year":"1966","journal-title":"Memoirs of the American Mathematical Society"},{"key":"10.1016\/S1570-2464(07)80004-8_bib13","series-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"10.1016\/S1570-2464(07)80004-8_bib14","series-title":"Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July\/August 2002, Proceedings volume 2381 of LNAI","first-page":"38","article-title":"Tableaux for quantified hybrid logic","author":"Blackburn","year":"2002"},{"issue":"2","key":"10.1016\/S1570-2464(07)80004-8_bib15","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"},{"key":"10.1016\/S1570-2464(07)80004-8_bib16","doi-asserted-by":"crossref","first-page":"221","DOI":"10.2307\/2273184","article-title":"The lattice of modal algebras: An algebraic investigation","volume":"45","author":"Blok","year":"1980","journal-title":"Journal of Symbolic Logic"},{"issue":"8","key":"10.1016\/S1570-2464(07)80004-8_bib17","article-title":"Graph-based algorithms for boolean function manipulation","volume":"C-35","author":"Bryant","year":"1986","journal-title":"IEEE Transactions on Compilers"},{"key":"10.1016\/S1570-2464(07)80004-8_bib18","article-title":"Symbolic model checking: 1020states and beyond","author":"Burch","year":"1990","journal-title":"IEEE Symposium on Logic in Computer Science"},{"key":"10.1016\/S1570-2464(07)80004-8_bib19","first-page":"76","article-title":"Quick completeness proofs for some logics of conditionals","volume":"22","author":"Burgess","year":"1979","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib20","series-title":"Logic and Computa- tion","first-page":"67","article-title":"Bounded arithmetic and propositional proof complexity","author":"Buss","year":"1997"},{"key":"10.1016\/S1570-2464(07)80004-8_bib21","doi-asserted-by":"crossref","first-page":"1261","DOI":"10.2307\/2275473","article-title":"An undecidable problem in correspondence theory","volume":"56","author":"Chagrova","year":"1991","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib22","series-title":"Proceedings 9th ACM STOC","first-page":"77","article-title":"Optimal implementation of conjunctive queries in relational databases","author":"Chandra","year":"1977"},{"key":"10.1016\/S1570-2464(07)80004-8_bib23","series-title":"Model Theory","author":"Chang","year":"1973"},{"key":"10.1016\/S1570-2464(07)80004-8_bib24","series-title":"Modal Logic, an Introduction","author":"Chellas","year":"1980"},{"key":"10.1016\/S1570-2464(07)80004-8_bib25","series-title":"Model Checking","author":"Clarke","year":"1999"},{"key":"10.1016\/S1570-2464(07)80004-8_bib26","series-title":"Knowledge, Belief, and Strategic Action","article-title":"Semantical aspects of quantified modal logic","author":"Corsi","year":"1980"},{"key":"10.1016\/S1570-2464(07)80004-8_bib27","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF01048353","article-title":"Incompleteness and the Barcan formula","volume":"24","author":"Cresswell","year":"1995","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib28","series-title":"KR'96: Principles of Knowledge Representation and Reasoning","first-page":"316","article-title":"TBox and ABox reasoning in expressive description logics","author":"De Giacomo","year":"1996"},{"issue":"2","key":"10.1016\/S1570-2464(07)80004-8_bib29","doi-asserted-by":"crossref","first-page":"566","DOI":"10.2307\/2275293","article-title":"The modal logic of inequality","volume":"57","author":"de Rijke","year":"1992","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib30","series-title":"PhD thesis","article-title":"Extending Modal Logic","author":"de Rijke","year":"1993"},{"key":"10.1016\/S1570-2464(07)80004-8_bib31","series-title":"Modal Logic and Process Algebra: A Bisimulation Perspective, volume 53 of Lecture Notes","first-page":"217","article-title":"A Lindstr\u00f6m theorem for modal logic","author":"de Rijke","year":"1995"},{"key":"10.1016\/S1570-2464(07)80004-8_bib32","series-title":"A Discipline of Programming","author":"Dijkstra","year":"1976"},{"issue":"1-3","key":"10.1016\/S1570-2464(07)80004-8_bib33","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0304-3975(03)00361-X","article-title":"An efficient algorithm for computing bisimulation equivalence","volume":"311","author":"Dovier","year":"2004","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1570-2464(07)80004-8_bib34","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1002\/malq.19590051405","article-title":"Modal logics between S4 and S5","volume":"5","author":"Dummett","year":"1959","journal-title":"Zeitschrift f\u00fcr mathemathische Logik und Grundla- gen der Mathematik"},{"key":"10.1016\/S1570-2464(07)80004-8_bib35","series-title":"Perspectives in Mathematical Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03182-7","article-title":"Finite Model Theory","author":"Ebbinghaus","year":"1995"},{"key":"10.1016\/S1570-2464(07)80004-8_bib36","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1137\/S0097539793304741","article-title":"The complexity of tree automata and logics of programs","volume":"29","author":"Emerson","year":"1999","journal-title":"SIAM Journal on Computing"},{"key":"10.1016\/S1570-2464(07)80004-8_bib37","series-title":"A Mathematical Introduction to Logic","author":"Enderton","year":"2001"},{"key":"10.1016\/S1570-2464(07)80004-8_bib38","series-title":"Studies in Logic and Semantics","first-page":"128","article-title":"Diagonal constructions, L\u00f6b's formula, and Cantor's scattered spaces","author":"Esakia","year":"1981"},{"key":"10.1016\/S1570-2464(07)80004-8_bib39","series-title":"Reasoning about Knowledge","author":"Fagin","year":"1995"},{"key":"10.1016\/S1570-2464(07)80004-8_bib40","first-page":"29","article-title":"Persistent and invariant formulas for outer extensions","volume":"20","author":"Feferman","year":"1968","journal-title":"Compositio Mathematica"},{"key":"10.1016\/S1570-2464(07)80004-8_bib41","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1090\/S0002-9904-1966-11507-0","article-title":"Persistent and invariant formulas relative to theories of higher order","volume":"72","author":"Feferman","year":"1966","journal-title":"Bulletin of the American Mathematical Society"},{"key":"10.1016\/S1570-2464(07)80004-8_bib42","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1111\/j.1755-2567.1970.tb00432.x","article-title":"Prepositional quantifiers in modal logic","volume":"36","author":"Fine","year":"1970","journal-title":"Theoria"},{"key":"10.1016\/S1570-2464(07)80004-8_bib43","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1111\/j.1755-2567.1974.tb00076.x","article-title":"An incomplete logic containing S4","volume":"40","author":"Fine","year":"1974","journal-title":"Theoria"},{"key":"10.1016\/S1570-2464(07)80004-8_bib44","series-title":"Proceedings of the Third Scandinavian Logic Symposium. Uppsala 1973","article-title":"Some connections between elementary and modal logic","author":"Fine","year":"1975"},{"issue":"2","key":"10.1016\/S1570-2464(07)80004-8_bib45","doi-asserted-by":"crossref","first-page":"201","DOI":"10.2307\/2273727","article-title":"Failures of the interpolation lemma in quantified modal logic","volume":"42","author":"Fine","year":"1979","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib46","series-title":"Logic and Reality, Essays in Pure and Logic. In memory of Arthur Prior","first-page":"169","article-title":"Transfer theorems for stratified modal logics","author":"Fine","year":"1996"},{"key":"10.1016\/S1570-2464(07)80004-8_bib47","series-title":"Proceedings 9th ACM Symposium on Theory of Computation","first-page":"286","article-title":"Propositional modal logic of programs","author":"Fischer","year":"1977"},{"key":"10.1016\/S1570-2464(07)80004-8_bib48","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","article-title":"Propositional dynamic logic of regular programs","volume":"18","author":"Fischer","year":"1979","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1570-2464(07)80004-8_bib49","series-title":"First-Order Modal Logic","author":"Fitting","year":"1998"},{"key":"10.1016\/S1570-2464(07)80004-8_bib50","series-title":"Proceedings of the 4th International Confer- ence on Principles of Knowledge Representation (KR '94)","first-page":"202","article-title":"On the complexity of conditional logic","author":"Friedman","year":"1994"},{"key":"10.1016\/S1570-2464(07)80004-8_bib51","series-title":"Aspects of Philosophical Logic","first-page":"67","article-title":"An irreflexivity lemma with applications to axiomatizations of conditions on linear frames","author":"Gabbay","year":"1981"},{"key":"10.1016\/S1570-2464(07)80004-8_bib52","series-title":"Temporal Logic: Mathematical Foundations and Computational Aspects","author":"Gabbay","year":"1994"},{"key":"10.1016\/S1570-2464(07)80004-8_bib53","series-title":"Proceedings 7th ACM Symposium on Principles of Programming Languages","first-page":"163","article-title":"On the temporal analysis of fairness","author":"Gabbay","year":"1980"},{"key":"10.1016\/S1570-2464(07)80004-8_bib54","series-title":"Master's thesis","article-title":"Modal definability in topology","author":"Gabelaia","year":"2001"},{"key":"10.1016\/S1570-2464(07)80004-8_bib55","series-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","first-page":"35","article-title":"Belief revision","author":"G\u00e4rdenfors","year":"1995"},{"key":"10.1016\/S1570-2464(07)80004-8_bib56","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)80004-8_bib57","first-page":"41","article-title":"Metamathematics of modal logic I","volume":"6","author":"Goldblatt","year":"1976","journal-title":"Reports on Mathematical Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib58","first-page":"21","article-title":"Metamathematics of modal logic II","volume":"7","author":"Goldblatt","year":"1976","journal-title":"Reports on Mathematical Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib59","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/S1570-8683(03)00008-9","article-title":"Mathematical modal logic: a view of its evolution","volume":"1","author":"Goldblatt","year":"2003","journal-title":"Journal of Applied Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib60","series-title":"Algebra and Logic","first-page":"163","article-title":"Axiomatic classes in propositional modal logic","author":"Goldblatt","year":"1974"},{"key":"10.1016\/S1570-2464(07)80004-8_bib61","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","article-title":"Using the universal modality: Gains and questions","volume":"2","author":"Goranko","year":"1992","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1570-2464(07)80004-8_bib62","doi-asserted-by":"crossref","first-page":"1719","DOI":"10.2307\/2586808","article-title":"On the restraining power of guards","volume":"64","author":"Gr\u00e4del","year":"1999","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib63","series-title":"Proceedings of 14th IEEE Symposium on Logic in Computer Science LICS '99, Trento","first-page":"45","article-title":"Guarded Fixed Point Logic","author":"Gr\u00e4del","year":"1999"},{"issue":"1","key":"10.1016\/S1570-2464(07)80004-8_bib64","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","article-title":"The complexity of reasoning about knowledge and time, I: lower bounds","volume":"38","author":"Halpem","year":"1989","journal-title":"Journal of Computer and Systems Sciences"},{"key":"10.1016\/S1570-2464(07)80004-8_bib65","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1305\/ndjfl\/1040046086","article-title":"The price of universality","volume":"37","author":"Hemaspaandra","year":"1996","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib66","series-title":"Knowledge and Belief","author":"Hintikka","year":"1962"},{"key":"10.1016\/S1570-2464(07)80004-8_bib67","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1145\/363235.363259","article-title":"An axiomatic basis for computer programming","volume":"12","author":"Hoare","year":"1969","journal-title":"Communications of the ACM"},{"key":"10.1016\/S1570-2464(07)80004-8_bib68","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1023\/A:1015178417181","article-title":"Loosely guarded fragment of first-order logic has the finite model property","volume":"70","author":"Hodkinson","year":"2002","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80004-8_bib69","doi-asserted-by":"crossref","first-page":"387","DOI":"10.2178\/bsl\/1058448678","article-title":"Finite conformai hypergraph covers and Gaifman cliques in finite structures","volume":"9","author":"Hodkinson","year":"2003","journal-title":"Bulletin of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib70","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1023\/A:1015154431342","article-title":"Interpolation and definability in guarded fragments","volume":"70","author":"Hoogland","year":"2002","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80004-8_bib71","series-title":"Logic for Programming and Automated Reasoning, 6th International Conference LPAR99, Tbilisi, Georgia, volume 1705 of LNAI","first-page":"273","article-title":"Beth definability for the guarded fragment","author":"Hoogland","year":"1999"},{"key":"10.1016\/S1570-2464(07)80004-8_bib72","series-title":"Logic in Computer Science","author":"Huth","year":"1994"},{"key":"10.1016\/S1570-2464(07)80004-8_bib73","series-title":"Proceedings CONCUR '96, volume 1119 of Lecture Notes in Computer Science","first-page":"263","article-title":"On the expressive completeness of the propositional mu-calculus with respect to second order logic","author":"Janin","year":"1996"},{"key":"10.1016\/S1570-2464(07)80004-8_bib74","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","article-title":"Boolean algebras with operators, Part I","volume":"73","author":"J\u00f3nsson","year":"1952","journal-title":"American Journal of Mathematics"},{"key":"10.1016\/S1570-2464(07)80004-8_bib75","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","article-title":"Boolean algebras with operators, Part II","volume":"74","author":"J\u00f3nsson","year":"1952","journal-title":"American Journal of Mathematics"},{"key":"10.1016\/S1570-2464(07)80004-8_bib76","series-title":"PhD thesis","article-title":"Tense Logic and the Theory of Linear Order","author":"Kamp","year":"1968"},{"key":"10.1016\/S1570-2464(07)80004-8_bib77","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1755-2567.1957.tb00263.x","article-title":"The morning star paradox","author":"Kanger","year":"1957","journal-title":"Theoria"},{"key":"10.1016\/S1570-2464(07)80004-8_bib78","series-title":"Provability in Logic","author":"Kanger","year":"1957"},{"key":"10.1016\/S1570-2464(07)80004-8_bib79","first-page":"133","article-title":"Un th\u00e9or\u00e8me sur les fonctions d'ensembles","volume":"6","author":"Knaster","year":"1928","journal-title":"Annales de la Soci\u00e9t\u00e9 Polonaise de Math\u00e9matiques"},{"key":"10.1016\/S1570-2464(07)80004-8_bib80","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","article-title":"Results on the prepositional mu-calculus","volume":"27","author":"Kozen","year":"1983","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1570-2464(07)80004-8_bib81","series-title":"Proceedings of the 2nd Workshop on Logic of Programs, volume 164 of LNCS","first-page":"313","article-title":"A decision procedure for the propositional mu-calculus","author":"Kozen","year":"1983"},{"key":"10.1016\/S1570-2464(07)80004-8_bib82","doi-asserted-by":"crossref","first-page":"1469","DOI":"10.2307\/2275487","article-title":"Properties of independently axiomatizable bimodal Logics","volume":"56","author":"Kracht","year":"1991","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib83","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2964568","article-title":"A completeness theorem in modal logic","volume":"24","author":"Kripke","year":"1959","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib84","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","article-title":"Semantic analysis of modal logic I, normal propositional calculi","volume":"9","author":"Kripke","year":"1963","journal-title":"Zeitschrift f\u00fcr mathemathische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1570-2464(07)80004-8_bib85","first-page":"83","article-title":"Semantical considerations on modal logic","volume":"16","author":"Kripke","year":"1963","journal-title":"Acta Philosophica Fennica"},{"key":"10.1016\/S1570-2464(07)80004-8_bib86","series-title":"Semantics of Natural Language","article-title":"Naming and necessity","author":"Kripke","year":"1972"},{"key":"10.1016\/S1570-2464(07)80004-8_bib87","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1023\/A:1008223921944","article-title":"Bisimulations for temporal logic","volume":"6","author":"Kurtonina","year":"1997","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1570-2464(07)80004-8_bib88","doi-asserted-by":"crossref","first-page":"985","DOI":"10.1002\/j.1538-7305.1959.tb01585.x","article-title":"Representation of switching circuits by binary-decision programs","volume":"38","author":"Lee","year":"1959","journal-title":"Bell System Technical Journal"},{"key":"10.1016\/S1570-2464(07)80004-8_bib89","series-title":"A Hierarchy of Formulas in Set Theory, volume 57 of Memoirs of the American Mathematical Society","author":"L\u00e9vy","year":"1965"},{"key":"10.1016\/S1570-2464(07)80004-8_bib90","series-title":"Counterfactuals","author":"Lewis","year":"1973"},{"key":"10.1016\/S1570-2464(07)80004-8_bib91","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1755-2567.1969.tb00356.x","article-title":"On extensions of elementary logic","volume":"35","author":"Lindstr\u00f6m","year":"1969","journal-title":"Theoria"},{"key":"10.1016\/S1570-2464(07)80004-8_bib92","first-page":"252","article-title":"Some embedding theorems for modal logic","author":"Makinson","year":"1971","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib93","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1023\/A:1011207512025","article-title":"Tolerance logic","volume":"6","author":"Marx","year":"2001","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1570-2464(07)80004-8_bib94","series-title":"Multidimensional Modal Logic, volume 4 of Applied Logic Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5694-3","author":"Marx","year":"1997"},{"key":"10.1016\/S1570-2464(07)80004-8_bib95","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/1969080","article-title":"The algebra of topology","volume":"45","author":"McKinsey","year":"1944","journal-title":"Annals of Mathematics"},{"key":"10.1016\/S1570-2464(07)80004-8_bib96","series-title":"Contemporary Philosophy: a Survey","first-page":"102","article-title":"Pragmatics","author":"Montague","year":"1968"},{"key":"10.1016\/S1570-2464(07)80004-8_bib97","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","article-title":"Universal grammar","volume":"36","author":"Montague","year":"1970","journal-title":"Theoria"},{"key":"10.1016\/S1570-2464(07)80004-8_bib98","series-title":"Formal Theories of the Commonsense World","first-page":"319","article-title":"A formal theory of knowledge and action","author":"Moore","year":"1985"},{"key":"10.1016\/S1570-2464(07)80004-8_bib99","article-title":"Elementary proof of the van Benthem-Rosen characterisation theorem","author":"Otto","year":"2004"},{"key":"10.1016\/S1570-2464(07)80004-8_bib100","series-title":"Proceedings 5th GI Conference","first-page":"167","article-title":"Concurrency and automata on infinite sequences","author":"Park","year":"1981"},{"issue":"2","key":"10.1016\/S1570-2464(07)80004-8_bib101","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0890-5401(91)90026-X","article-title":"An essay in combinatory dynamic logic","volume":"93","author":"Passy","year":"1991","journal-title":"Information and Computation"},{"key":"10.1016\/S1570-2464(07)80004-8_bib102","series-title":"Proceedings 17th IEEE Symposium on Computer Science","first-page":"109","article-title":"Semantical considerations on Floyd-Hoare logic","author":"Pratt","year":"1976"},{"key":"10.1016\/S1570-2464(07)80004-8_bib103","series-title":"Proceedings 20th IEEE Symposium on Foundations of Computer Science","first-page":"115","article-title":"Models of program logics","author":"Pratt","year":"1979"},{"key":"10.1016\/S1570-2464(07)80004-8_bib104","series-title":"Past, Present and Future","author":"Prior","year":"1967"},{"key":"10.1016\/S1570-2464(07)80004-8_bib105","series-title":"Papers on Time and Tense","author":"Prior","year":"2003"},{"key":"10.1016\/S1570-2464(07)80004-8_bib106","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)80004-8_bib107","first-page":"1","article-title":"Decidability of second-order theories and automata on infinite trees","volume":"141","author":"Rabin","year":"1969","journal-title":"Transactions of the American Math- ematical Society"},{"key":"10.1016\/S1570-2464(07)80004-8_bib108","series-title":"An Introduction to Substructural Logics","author":"Restall","year":"2000"},{"key":"10.1016\/S1570-2464(07)80004-8_bib109","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1023\/A:1008275906015","article-title":"Modal logic over finite structures","volume":"6","author":"Rosen","year":"1997","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1570-2464(07)80004-8_bib110","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1023\/A:1008218502162","article-title":"Counterfactuals and updates as inverse modalities","volume":"6","author":"Ryan","year":"1997","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1570-2464(07)80004-8_bib111","series-title":"Proceedings of the Third Scandinavian Logic Symposium. Uppsala 1973","first-page":"110","article-title":"Completeness and correspondence in the first and second order semantics for modal logic","author":"Sahlqvist","year":"1975"},{"key":"10.1016\/S1570-2464(07)80004-8_bib112","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)80004-8_bib113","article-title":"An Essay in Classical Modal Logic","volume":"13","author":"Segerberg","year":"1971"},{"key":"10.1016\/S1570-2464(07)80004-8_bib114","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF02115610","article-title":"Two-dimensional modal logics","volume":"2","author":"Segerberg","year":"1973","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib115","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF01418760","article-title":"Modal logics of domains of the real plane","volume":"42","author":"Shehtman","year":"1983","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80004-8_bib116","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1080\/11663081.1999.10510972","article-title":"Everywhere\u201d and \u201cHere","volume":"9","author":"Shehtman","year":"1999","journal-title":"Journal of Applied Non-classical Logics"},{"key":"10.1016\/S1570-2464(07)80004-8_bib117","series-title":"Mathematical Logic","first-page":"105","article-title":"Semantics of non-classical first-order predicate logics","author":"Shehtman","year":"1990"},{"key":"10.1016\/S1570-2464(07)80004-8_bib118","series-title":"PhD thesis","article-title":"Complexity of Modal Logics","author":"Spaan","year":"1993"},{"key":"10.1016\/S1570-2464(07)80004-8_bib119","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0890-5401(89)90031-X","article-title":"An automata theoretic decision procedure for the propositional mu-calculus","volume":"81","author":"Street","year":"1989","journal-title":"Information and Computation"},{"key":"10.1016\/S1570-2464(07)80004-8_bib120","doi-asserted-by":"crossref","first-page":"173","DOI":"10.12775\/LLP.2002.010","article-title":"The true bisimulations for \u2018since\u2019 and \u2018until","volume":"10","author":"Sturm","year":"2002","journal-title":"Logic and Logical Philosophy"},{"key":"10.1016\/S1570-2464(07)80004-8_bib121","article-title":"Hybrid definability in topological spaces","author":"Sustretov","year":"2005"},{"key":"10.1016\/S1570-2464(07)80004-8_bib122","doi-asserted-by":"crossref","first-page":"103","DOI":"10.4064\/fm-31-1-103-134","article-title":"Der Aussagenkalk\u00fcl und die Topologie","volume":"31","author":"Tarski","year":"1938","journal-title":"Fund. Math."},{"key":"10.1016\/S1570-2464(07)80004-8_bib123","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","article-title":"A lattice-theoretical fixpoint theorem and its applications","volume":"5","author":"Tarski","year":"1955","journal-title":"Pacific Journal of Mathematics"},{"key":"10.1016\/S1570-2464(07)80004-8_bib124","series-title":"PhD thesis","article-title":"Model Theory for Extended Modal Languages","author":"ten Cate","year":"2004"},{"key":"10.1016\/S1570-2464(07)80004-8_bib125","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1111\/j.1755-2567.1974.tb00077.x","article-title":"An incompleteness theorem in modal logic","volume":"40","author":"Thomason","year":"1974","journal-title":"Theoria"},{"key":"10.1016\/S1570-2464(07)80004-8_bib126","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1002\/malq.19750210114","article-title":"Reduction of second-order logic to modal logic","volume":"21","author":"Thomason","year":"1975","journal-title":"Zeitschrift f\u00fcr mathemathische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1570-2464(07)80004-8_bib127","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/BF00293428","article-title":"Decidability and the finite model property","volume":"10","author":"Urquhart","year":"1981","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib128","series-title":"PhD thesis","article-title":"Modal Correspondence Theory","author":"van Benthem","year":"1976"},{"key":"10.1016\/S1570-2464(07)80004-8_bib129","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1111\/j.1755-2567.1978.tb00830.x","article-title":"Two simple incomplete modal logics","volume":"44","author":"van Benthem","year":"1978","journal-title":"Theoria"},{"key":"10.1016\/S1570-2464(07)80004-8_bib130","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2273696","article-title":"Canonical modal logics and ultrafilter extensions","volume":"44","author":"van Benthem","year":"1980","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib131","series-title":"Modal Logic and Classical Logic","author":"van Benthem","year":"1983"},{"key":"10.1016\/S1570-2464(07)80004-8_bib132","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)80004-8_bib133","doi-asserted-by":"crossref","first-page":"307","DOI":"10.3233\/FI-1993-182-416","article-title":"Modal frame classes revisited","volume":"18","author":"van Benthem","year":"1993","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S1570-2464(07)80004-8_bib134","series-title":"A dynamic and quick intellect. Liber Amicorum Paul Vit\u00e1nyi","first-page":"23","article-title":"Bisimulation: the never ending story","author":"van Benthem","year":"1996"},{"key":"10.1016\/S1570-2464(07)80004-8_bib135","article-title":"Dynamic bits and pieces","author":"van Benthem","year":"1997"},{"issue":"2","key":"10.1016\/S1570-2464(07)80004-8_bib136","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1093\/jigpal\/5.2.259","article-title":"Modal foundations for predicate logic","volume":"5","author":"van Benthem","year":"1997","journal-title":"Bulletin of the IGPL"},{"key":"10.1016\/S1570-2464(07)80004-8_bib137","series-title":"Handbook of Philosophical Logic","first-page":"325","article-title":"Correspondence theory","author":"van Benthem","year":"2001"},{"key":"10.1016\/S1570-2464(07)80004-8_bib138","doi-asserted-by":"crossref","first-page":"696","DOI":"10.2178\/jsl\/1122038910","article-title":"Minimal predicates, fixed points and definability","volume":"70","author":"van Benthem","year":"2005","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80004-8_bib139","article-title":"A new modal Lindstr\u00f6m theorem","author":"van Benthem","year":"2006"},{"key":"10.1016\/S1570-2464(07)80004-8_bib140","series-title":"Proceedings 4th IEEE Symposium on Logic in Computer Science","first-page":"243","article-title":"On the complexity of epistemic reasoning","author":"Vardi","year":"1989"},{"key":"10.1016\/S1570-2464(07)80004-8_bib141","series-title":"Proceedings 14th ACM Symposium on Principles of Database Systems","first-page":"266","article-title":"On the complexity of bounded variable queries","author":"Vardi","year":"1995"},{"key":"10.1016\/S1570-2464(07)80004-8_bib142","first-page":"149","article-title":"Why is modal logic so robustly decidable?","volume":"31","author":"Vardi","year":"1997"},{"key":"10.1016\/S1570-2464(07)80004-8_bib143","series-title":"PhD thesis","article-title":"Logics for Conditionals","author":"Veltman","year":"1985"},{"key":"10.1016\/S1570-2464(07)80004-8_bib144","first-page":"361","article-title":"Fusions of modal logics revisited","volume":"Volume 1","author":"Wolter","year":"1998"},{"key":"10.1016\/S1570-2464(07)80004-8_bib145","series-title":"An Essay in Modal Logic","author":"von Wright","year":"1951"}],"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:S1570246407800048?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570246407800048?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:13:40Z","timestamp":1761606820000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1570246407800048"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9780444516909"],"references-count":145,"URL":"https:\/\/doi.org\/10.1016\/s1570-2464(07)80004-8","relation":{},"ISSN":["1570-2464"],"issn-type":[{"value":"1570-2464","type":"print"}],"subject":[],"published":{"date-parts":[[2007]]}}}