{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T12:36:40Z","timestamp":1775738200718,"version":"3.50.1"},"reference-count":90,"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)80018-8","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T09:38:50Z","timestamp":1191490730000},"page":"869-924","source":"Crossref","is-referenced-by-count":52,"title":["15 Combining modal logics"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1570-2464(07)80018-8_bib1","series-title":"D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, Volume 2","first-page":"133","article-title":"Sain. Algebraic logic","author":"Andr\u00e9ka","year":"2001"},{"key":"10.1016\/S1570-2464(07)80018-8_bib2","series-title":"Frontiers of Combining Systems IV, volume 2309 of Lecture Notes in Artificial Intelligence","year":"2002"},{"key":"10.1016\/S1570-2464(07)80018-8_bib3","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1613\/jair.516","article-title":"A temporal description logic for reasoning about actions and plans","volume":"9","author":"Artale","year":"1998","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.1016\/S1570-2464(07)80018-8_bib4","series-title":"Proceedings of IJCAR-04, volume 3097 of Lecture Notes in Artificial Intelligence","first-page":"183","article-title":"A new combination procedure for the word problem that generalizes fusion decidability results in modal logic","author":"Baader","year":"2004"},{"key":"10.1016\/S1570-2464(07)80018-8_bib5","series-title":"Proceedings of the 14th Inter- national Joint Conference on Artificial Intelligence (IJCAI-95)","first-page":"808","article-title":"Terminological logics with modal operators","author":"Baader","year":"1995"},{"key":"10.1016\/S1570-2464(07)80018-8_bib6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.919","article-title":"Fusions of description logics and abstract description systems","volume":"16","author":"Baader","year":"2002","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.1016\/S1570-2464(07)80018-8_bib7","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1080\/11663081.1995.10510854","article-title":"A multi-dimensional terminological knowledge representation language","volume":"5","author":"Baader","year":"1995","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"10.1016\/S1570-2464(07)80018-8_bib8","series-title":"Frontiers of Combining Systems","year":"1996"},{"key":"10.1016\/S1570-2464(07)80018-8_bib9","article-title":"The undecidability of the domino problem","volume":"66","author":"Berger","year":"1966","journal-title":"Memoirs of the AMS"},{"key":"10.1016\/S1570-2464(07)80018-8_bib10","series-title":"Modal Logic","author":"Blackburn","year":"2001"},{"issue":"396","key":"10.1016\/S1570-2464(07)80018-8_bib11","doi-asserted-by":"crossref","DOI":"10.1090\/memo\/0396","article-title":"Algebraizable Logics","volume":"77","author":"Blok","year":"1989","journal-title":"Memoirs of the AMS"},{"key":"10.1016\/S1570-2464(07)80018-8_bib12","series-title":"Modal Logic, volume 35 of Oxford Logic Guides","author":"Chagrov","year":"1997"},{"key":"10.1016\/S1570-2464(07)80018-8_bib13","series-title":"Logic in Algebraic Form","author":"Craig","year":"1974"},{"key":"10.1016\/S1570-2464(07)80018-8_bib14","series-title":"Frontiers of Combining Systems II","year":"2000"},{"key":"10.1016\/S1570-2464(07)80018-8_bib15","series-title":"Reasoning about Knowledge","author":"Fagin","year":"1995"},{"key":"10.1016\/S1570-2464(07)80018-8_bib16","series-title":"Logic and Reality, Essays in Pure and Applied 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)80018-8_bib17","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00156915","article-title":"Adding a temporal dimension to a logic system","volume":"2","author":"Finger","year":"1992","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1570-2464(07)80018-8_bib18","series-title":"Logic, Language and Reasoning: Essays in Honour of Dov Gabbay","first-page":"81","article-title":"Imperative history: two-dimensional executable temporal logic","author":"Finger","year":"1999"},{"key":"10.1016\/S1570-2464(07)80018-8_bib19","doi-asserted-by":"crossref","first-page":"1057","DOI":"10.2307\/2275807","article-title":"Fibred semantics and the weaving of logics, part 1: Modal and intuitionistic logics","volume":"61","author":"Gabbay","year":"1996","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80018-8_bib20","series-title":"Fibring Logics, volume 38 of Oxford Logic Guides","author":"Gabbay","year":"1999"},{"key":"10.1016\/S1570-2464(07)80018-8_bib21","series-title":"Essays dedicated to L. Aqvist","first-page":"63","article-title":"A note on systems of n-dimensional tense logics","author":"Gabbay","year":"1982"},{"key":"10.1016\/S1570-2464(07)80018-8_bib22","series-title":"Temporal Logic: Mathematical Foundations and Com- putational Aspects, Volume 1","author":"Gabbay","year":"1994"},{"key":"10.1016\/S1570-2464(07)80018-8_bib23","series-title":"Many-Dimensional Modal Logics: Theory and Applications, volume 148 of Studies in Logic","author":"Gabbay","year":"2003"},{"key":"10.1016\/S1570-2464(07)80018-8_bib24","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1093\/jigpal\/6.1.73","article-title":"Products of modal logics. Part I","volume":"6","author":"Gabbay","year":"1998","journal-title":"Journal of the IGPL"},{"key":"10.1016\/S1570-2464(07)80018-8_bib25","series-title":"Flow products of modal logics","author":"Gabbay","year":"1999"},{"key":"10.1016\/S1570-2464(07)80018-8_bib26","doi-asserted-by":"crossref","first-page":"993","DOI":"10.2178\/jsl\/1122038925","article-title":"Products of 'transitive' modal logics","volume":"70","author":"Gabelaia","year":"2005","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80018-8_bib27","unstructured":"D. Gabelaia, A. Kurucz, F. Wolter, and M. Zakharyaschev. Non-primitive recursive decidability of products of modal logics with expanding domains. Annals of Pure and Applied Logic, to appear."},{"key":"10.1016\/S1570-2464(07)80018-8_bib28","series-title":"Proceedings of AiML 2004, September 2004","article-title":"Products of transitive modal logics without the (abstract) finite model property","author":"Gabelaia","year":"2004"},{"key":"10.1016\/S1570-2464(07)80018-8_bib29","series-title":"Proceedings of 'First-order Theorem Proving 2003', volume 86 of Electronic Notes in Theoretical Computer Science","article-title":"Quantifier elimination and provers integration","author":"Ghilardi","year":"2003"},{"key":"10.1016\/S1570-2464(07)80018-8_bib30","series-title":"Proceedings of LPAR-03, volume 2850 of Lecture Notes in Artificial Intelligence","first-page":"152","article-title":"Algebraic and model theoretic techniques for fusion decidability in modal logics","author":"Ghilardi","year":"2003"},{"key":"10.1016\/S1570-2464(07)80018-8_bib31","series-title":"Number 7 in CSLI Lecture Notes","article-title":"Logics of Time and Computation","author":"Goldblatt","year":"1987"},{"key":"10.1016\/S1570-2464(07)80018-8_bib32","series-title":"Knowledge and Belief in Philosophy and Artificial Intelligence","first-page":"29","article-title":"Terminological reasoning with knowledge and belief","author":"Gr\u00e4ber","year":"1995"},{"key":"10.1016\/S1570-2464(07)80018-8_bib33","first-page":"1","article-title":"Algebraic logic, IV","volume":"86","author":"Halmos","year":"1957","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/S1570-2464(07)80018-8_bib34","series-title":"Algebraic Logic","author":"Halmos","year":"1962"},{"key":"10.1016\/S1570-2464(07)80018-8_bib35","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","article-title":"A guide to completeness and complexity for modal logics of knowledge and belief","volume":"54","author":"Halpern","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1570-2464(07)80018-8_bib36","series-title":"Conference on Foundations of Computing Theory, volume 158 of Lecture Notes in Computer Science","first-page":"177","article-title":"Recurring dominoes: Making the highly undecidable highly understandable","author":"Harel","year":"1983"},{"key":"10.1016\/S1570-2464(07)80018-8_bib37","series-title":"Advances in Modal Logic, Volume 3","first-page":"241","article-title":"Normal products of modal logics","author":"Hasimoto","year":"2002"},{"key":"10.1016\/S1570-2464(07)80018-8_bib38","series-title":"Cylindric Algebras, Part I, volume 65 of Studies in Logic","author":"Henkin","year":"1971"},{"key":"10.1016\/S1570-2464(07)80018-8_bib39","series-title":"Cylindric Algebras, Part II, volume 115 of Studies in Logic","author":"Henkin","year":"1985"},{"key":"10.1016\/S1570-2464(07)80018-8_bib40","doi-asserted-by":"crossref","first-page":"1403","DOI":"10.1090\/S0002-9947-99-02264-3","article-title":"Representability is not decidable for finite relation algebras","volume":"353","author":"Hirsch","year":"2001","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/S1570-2464(07)80018-8_bib41","series-title":"Relation Algebras by Games, volume 147 of Studies in Logic","author":"Hirsch","year":"2002"},{"key":"10.1016\/S1570-2464(07)80018-8_bib42","doi-asserted-by":"crossref","first-page":"221","DOI":"10.2178\/jsl\/1190150040","article-title":"On modal logics between K x K x K and S5 x S5 x S5","volume":"67","author":"Hirsch","year":"2002","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80018-8_bib43","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0168-0072(00)00018-X","article-title":"Decidable fragments of first-order temporal logics","volume":"106","author":"Hodkinson","year":"2000","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80018-8_bib44","doi-asserted-by":"crossref","first-page":"344","DOI":"10.2307\/2270901","article-title":"Nonfinitizability of classes of representable polyadic algebras","volume":"34","author":"Johnson","year":"1969","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80018-8_bib45","series-title":"Frontiers of Combining Systems III, volume 1794 of Lecture Notes in Artificial Intelligence","year":"2000"},{"key":"10.1016\/S1570-2464(07)80018-8_bib46","series-title":"Proceedings of CADE-05, volume 3632 of Lecture Notes in Computer Science","first-page":"182","article-title":"Temporal logics over transitive states","author":"Konev","year":"2000"},{"key":"10.1016\/S1570-2464(07)80018-8_bib47","doi-asserted-by":"crossref","first-page":"428","DOI":"10.2178\/bsl\/1122038996","article-title":"Undecidability of first-order intuitionistic and modal logics with two variables","volume":"11","author":"Kontchakov","year":"2005","journal-title":"Bulletin of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80018-8_bib48","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)80018-8_bib49","doi-asserted-by":"crossref","first-page":"99","DOI":"10.2307\/2586754","article-title":"Normal monomodal logics can simulate all others","volume":"64","author":"Kracht","year":"1999","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80018-8_bib50","first-page":"210","article-title":"Well-quasi-ordering, the tree theorem and V\u00e1zsonyi's conjecture","volume":"95","author":"Kruskal","year":"1960","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/S1570-2464(07)80018-8_bib51","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF00370318","article-title":"Quantifiers as modal operators","volume":"39","author":"Kuhn","year":"1980","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80018-8_bib52","doi-asserted-by":"crossref","first-page":"923","DOI":"10.2307\/2586578","article-title":"On axiomatising products of Kripke frames","volume":"65","author":"Kurucz","year":"2000","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80018-8_bib53","series-title":"Advances in Modal Logic, Volume 3","first-page":"321","article-title":"S5 x S5 x S5 lacks the finite model property","author":"Kurucz","year":"2002"},{"key":"10.1016\/S1570-2464(07)80018-8_bib54","series-title":"Advances in Modal Logic, Volume 4","first-page":"221","article-title":"A note on relativised products of modal logics","author":"Kurucz","year":"2003"},{"key":"10.1016\/S1570-2464(07)80018-8_bib55","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2004.02.002","article-title":"ge-connections of abstract description systems","volume":"156","author":"Kutz","year":"2004","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1570-2464(07)80018-8_bib56","series-title":"Proceedings of the 8th International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, 1902","first-page":"215","article-title":"Connecting abstract description systems","author":"Kutz","year":"2002"},{"key":"10.1016\/S1570-2464(07)80018-8_bib57","series-title":"Proceedings of the 11th European Conference on Artificial Intelligence (ECAI-94)","first-page":"299","article-title":"Beliefs in multi-agent worlds: a terminological approach","author":"Laux","year":"1994"},{"key":"10.1016\/S1570-2464(07)80018-8_bib58","doi-asserted-by":"crossref","first-page":"311","DOI":"10.2307\/2273191","article-title":"The equational theory of CA3is undecidable","volume":"45","author":"Maddux","year":"1980","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80018-8_bib59","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1093\/logcom\/9.2.197","article-title":"Complexity of products of modal logics","volume":"9","author":"Marx","year":"1999","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1570-2464(07)80018-8_bib60","doi-asserted-by":"crossref","first-page":"897","DOI":"10.1093\/logcom\/9.6.897","article-title":"Undecidability of compass logic","volume":"9","author":"Marx","year":"1999","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1570-2464(07)80018-8_bib61","series-title":"Multi-Dimensional Modal Logic","author":"Marx","year":"1997"},{"key":"10.1016\/S1570-2464(07)80018-8_bib62","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/BF00370684","article-title":"Algebraization of quantifier logics: an overview","volume":"3,4","author":"N\u00e9meti","year":"1991","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80018-8_bib63","series-title":"Logic Colloquium'92","first-page":"177","article-title":"Decidable versions of first-order predicate logic and cylindric relativized set algebras","author":"N\u00e9meti","year":"1995"},{"key":"10.1016\/S1570-2464(07)80018-8_bib64","first-page":"361","article-title":"A simple algebra of first order logic","volume":"1","author":"Pinter","year":"1973","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80018-8_bib65","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1305\/ndjfl\/1093891889","article-title":"Algebraic logic with generalized quantifiers","volume":"16","author":"Pinter","year":"1975","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80018-8_bib66","series-title":"Logic and Art: Essays in Honor of Nelson Goodman","article-title":"Algebraic logic and predicate functors","author":"Quine","year":"1971"},{"key":"10.1016\/S1570-2464(07)80018-8_bib67","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 Mathematical Society"},{"key":"10.1016\/S1570-2464(07)80018-8_bib68","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0022-0000(85)90003-0","article-title":"A multiprocess network logic with temporal and spatial modalities","volume":"30","author":"Reif","year":"1985","journal-title":"Journal of Computer and System Sciences"},{"issue":"3","key":"10.1016\/S1570-2464(07)80018-8_bib69","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1305\/ndjfl\/1039700748","article-title":"A decidable temporal logic of parallelism","volume":"38","author":"Reynolds","year":"1997","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80018-8_bib70","doi-asserted-by":"crossref","first-page":"909","DOI":"10.1093\/logcom\/11.6.909","article-title":"On the products of linear modal logics","volume":"11","author":"Reynolds","year":"2001","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1570-2464(07)80018-8_bib71","series-title":"Proceedings of the 6th Portuguese Conference on Artificial Intelligence","first-page":"105","article-title":"Combining terminological logics with tense logic","author":"Schild","year":"1993"},{"key":"10.1016\/S1570-2464(07)80018-8_bib72","series-title":"Proceedings of the 9th National Conference of the American Association for Artificial Intelligence","first-page":"640","article-title":"A temporal terminological logic","author":"Schmiedel","year":"1990"},{"key":"10.1016\/S1570-2464(07)80018-8_bib73","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0020-0190(01)00337-4","article-title":"Verifying lossy channel systems has nonprimitive recursive complexity","volume":"83","author":"Schnoebelen","year":"2002","journal-title":"Information Processing Letters"},{"key":"10.1016\/S1570-2464(07)80018-8_bib74","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)80018-8_bib75","first-page":"417","article-title":"Two-dimensional modal logics","volume":"23","author":"Shehtman","year":"1978","journal-title":"Mathematical Notices of the USSR Academy of Sci-ences"},{"key":"10.1016\/S1570-2464(07)80018-8_bib76","series-title":"Advances in Modal Logic, Volume 5","first-page":"289","article-title":"Filtration via bisimulation","author":"Shehtman","year":"2005"},{"key":"10.1016\/S1570-2464(07)80018-8_bib77","article-title":"Complexity of Modal Logics","author":"Spaan","year":"1993"},{"key":"10.1016\/S1570-2464(07)80018-8_bib78","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/BF00370317","article-title":"Independent propositional modal logics","volume":"39","author":"Thomason","year":"1980","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80018-8_bib79","unstructured":"J. van Benthem, G. Bezhanishvili, B. ten Cate, and D. Sarenac. Multimodal logics of products of topologies. Studia Logica, to appear."},{"key":"10.1016\/S1570-2464(07)80018-8_bib80","article-title":"Many-Dimensional Modal Logics","author":"Venema","year":"1991"},{"key":"10.1016\/S1570-2464(07)80018-8_bib81","series-title":"Mathematical Theory of Automata","first-page":"23","article-title":"Dominos and the \u2200\u2203\u2200 case of the decision problem","author":"Wang","year":"1963"},{"key":"10.1016\/S1570-2464(07)80018-8_bib82","series-title":"Advances in Modal Logic, Volume 1","first-page":"361","article-title":"Fusions of modal logics revisited","author":"Wolter","year":"1998"},{"key":"10.1016\/S1570-2464(07)80018-8_bib83","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1093\/logcom\/10.2.223","article-title":"The product of converse \u2299PDL and polymodal K","volume":"10","author":"Wolter","year":"2000","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1570-2464(07)80018-8_bib84","series-title":"Proceedings of the 6th Conference on Principles of Knowledge Representation and Reasoning (KR-98), Trento, Italy","first-page":"512","article-title":"Satisfiability problem in description logics with modal operators","author":"Wolter","year":"1998"},{"key":"10.1016\/S1570-2464(07)80018-8_bib85","doi-asserted-by":"crossref","first-page":"411","DOI":"10.3233\/FI-1999-39405","article-title":"Modal description logics: modalizing roles","volume":"39","author":"Wolter","year":"1999","journal-title":"Fundamenta Informat-icae"},{"key":"10.1016\/S1570-2464(07)80018-8_bib86","series-title":"Frontiers of Combining Systems II","first-page":"379","article-title":"Temporalizing description logics","author":"Wolter","year":"2000"},{"key":"10.1016\/S1570-2464(07)80018-8_bib87","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"},{"key":"10.1016\/S1570-2464(07)80018-8_bib88","series-title":"Advances in Modal Logic, Volume 2","first-page":"431","article-title":"Dynamic description logic","author":"Wolter","year":"2001"},{"key":"10.1016\/S1570-2464(07)80018-8_bib89","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/S0168-0072(01)00124-5","article-title":"Axiomatizing the monodic fragment of first-order temporal logic","volume":"118","author":"Wolter","year":"2002","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80018-8_bib90","series-title":"Handbook of Philosophical Logic, Volume 3, 2nd edition","first-page":"83","article-title":"Advanced modal logic","author":"Zakharyaschev","year":"2001"}],"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:S1570246407800188?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570246407800188?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:14:09Z","timestamp":1761606849000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1570246407800188"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9780444516909"],"references-count":90,"URL":"https:\/\/doi.org\/10.1016\/s1570-2464(07)80018-8","relation":{},"ISSN":["1570-2464"],"issn-type":[{"value":"1570-2464","type":"print"}],"subject":[],"published":{"date-parts":[[2007]]}}}