{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T20:11:59Z","timestamp":1776888719505,"version":"3.51.2"},"reference-count":179,"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)80010-3","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T09:38:50Z","timestamp":1191490730000},"page":"427-489","source":"Crossref","is-referenced-by-count":13,"title":["7 Modal decision problems"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1570-2464(07)80010-3_bib1","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BF01620760","article-title":"On the lattice of extensions of the modal logic","volume":"27","author":"Bellissima","year":"1988","journal-title":"K.Altn. Archive of Mathematical Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib2","article-title":"An algebraic approach to subframe logics","author":"Bezhanishvili","year":"2006","journal-title":"Part I. Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib3","first-page":"11","article-title":"Varieties of two-dimensional cylindric algebras","volume":"48","author":"Bezhanishvili","year":"2002"},{"key":"10.1016\/S1570-2464(07)80010-3_bib4","first-page":"177","volume":"51","author":"Bezhanishvili","year":"2004"},{"key":"10.1016\/S1570-2464(07)80010-3_bib5","first-page":"443","volume":"78","author":"Bezhanishvili","year":"2004"},{"key":"10.1016\/S1570-2464(07)80010-3_bib6","first-page":"367","article-title":"All proper normal extensions of S5-square have the polynomial size model property","volume":"73","author":"Bezhanishvili","year":"2003"},{"key":"10.1016\/S1570-2464(07)80010-3_bib7","series-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"10.1016\/S1570-2464(07)80010-3_bib8","first-page":"78","article-title":"On the degree of incompleteness in modal logics and the covering relation in the lattice of modal logics","author":"Blok","year":"1978"},{"key":"10.1016\/S1570-2464(07)80010-3_bib9","article-title":"Varieties of interior algebras","author":"Blok","year":"1976"},{"key":"10.1016\/S1570-2464(07)80010-3_bib10","first-page":"101","volume":"39","author":"Blok","year":"1980"},{"key":"10.1016\/S1570-2464(07)80010-3_bib11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59207-2","article-title":"The Classical Decision Problem","author":"B\u00f6rger","year":"1997"},{"key":"10.1016\/S1570-2464(07)80010-3_bib12_1","article-title":"Over de Grondslagen der Wiskunde","author":"Brouwer","year":"1907"},{"key":"10.1016\/S1570-2464(07)80010-3_bib12_2","series-title":"On the foundation of mathematics","first-page":"11","volume":"I","year":"1975"},{"key":"10.1016\/S1570-2464(07)80010-3_bib13","series-title":"Tijdschrift voor Wijsbegeerte","first-page":"107","article-title":"De onbetrouwbaarheid der logische principes","author":"Brouwer","year":"1908"},{"key":"10.1016\/S1570-2464(07)80010-3_bib14","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1002\/malq.19660120129","article-title":"That all normal extensions of S4.3 have the finite model property","volume":"12","author":"Bull","year":"1966","journal-title":"Zeitschrift f\u00fcr Mathe- matische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1570-2464(07)80010-3_bib15","doi-asserted-by":"crossref","first-page":"27","DOI":"10.2307\/2270049","article-title":"An algebraic study of tense logic with linear time","volume":"33","author":"Bull","year":"1968","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib16","first-page":"96","article-title":"The lower bound for the cardinality of approximating Kripke frames","author":"Chagrov","year":"1986"},{"key":"10.1016\/S1570-2464(07)80010-3_bib17","first-page":"105","article-title":"Nontabularity-pretabularity, antitabularity, co-antitabularity","author":"Chagrov","year":"1989"},{"key":"10.1016\/S1570-2464(07)80010-3_bib18","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/BF01979939","article-title":"Undecidable properties of extensions of provability logic I","volume":"29","author":"Chagrov","year":"1990","journal-title":"Algebra and Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib19","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/BF02215288","article-title":"Undecidable properties of extensions of provability logic. II","volume":"29","author":"Chagrov","year":"1990","journal-title":"Algebra and Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib20","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/BF02102127","article-title":"Continuality of the set of maximal superintuitionistic logics with the disjunction property","volume":"51","author":"Chagrov","year":"1992","journal-title":"Mathematical Notes"},{"key":"10.1016\/S1570-2464(07)80010-3_bib21","first-page":"67","article-title":"Undecidable properties of superintuitionistic logics","volume":"vol.5","author":"Chagrov","year":"1994"},{"key":"10.1016\/S1570-2464(07)80010-3_bib22","first-page":"251","article-title":"The algorithmic problem of axiomatising a tablular normal modal logic","author":"Chagrov","year":"2002"},{"key":"10.1016\/S1570-2464(07)80010-3_bib23","first-page":"442","article-title":"Algorithmic aspects of propositional tense logics","volume":"933","author":"Chagrov","year":"1995"},{"key":"10.1016\/S1570-2464(07)80010-3_bib24","article-title":"Modal Logic","volume":"35","author":"Chagrov","year":"1997"},{"key":"10.1016\/S1570-2464(07)80010-3_bib25","doi-asserted-by":"crossref","first-page":"49","DOI":"10.2307\/2275108","article-title":"The undecidability of the disjunction property of propositional logics and other related problems","volume":"58","author":"Chagrov","year":"1993","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib26","series-title":"Logic Colloquium'92","first-page":"61","article-title":"Sahlqvist formulas are not so elementary even above S4","author":"Chagrov","year":"1995"},{"key":"10.1016\/S1570-2464(07)80010-3_bib27","series-title":"Advances in Modal Logic 1","first-page":"63","article-title":"On the degree of neighbourhood incompleteness of normal modal logics","author":"Chagrova","year":"1998"},{"key":"10.1016\/S1570-2464(07)80010-3_bib28","series-title":"Logical Methods for Constructing Effective Algorithms","first-page":"135","article-title":"On the first order definability of intuitionistic formulas with restrictions on occurrences of the connectives","author":"Chagrova","year":"1986"},{"key":"10.1016\/S1570-2464(07)80010-3_bib29","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)80010-3_bib30","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF01058532","article-title":"Sahlqvist's theorem for Boolean algebras with operators","volume":"54","author":"de Rijke","year":"1995","journal-title":"Studio, Logica"},{"key":"10.1016\/S1570-2464(07)80010-3_bib31","series-title":"Sur les alg\u00e8bres de Hilbert","author":"Diego","year":"1966"},{"key":"10.1016\/S1570-2464(07)80010-3_bib32","doi-asserted-by":"crossref","first-page":"97","DOI":"10.2307\/2964753","article-title":"A propositional calculus with denumerable matrix","volume":"24","author":"Dummett","year":"1995","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib33","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1002\/malq.19590051405","article-title":"Modal logics between 54 and S5","volume":"5","author":"Dummett","year":"1959","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1570-2464(07)80010-3_bib34","series-title":"A Mathematical Introduction to Logic","author":"Enderton","year":"2001"},{"key":"10.1016\/S1570-2464(07)80010-3_bib35","first-page":"147","article-title":"Topological Kripke models","volume":"15","author":"Esakia","year":"1974","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/S1570-2464(07)80010-3_bib36","series-title":"Studies in Non-classical Logics and Set Theory","first-page":"257","article-title":"On varieties of Grzegorczyk algebras","author":"Esakia","year":"1979"},{"key":"10.1016\/S1570-2464(07)80010-3_bib37","series-title":"Logical Inference. Proceedings of the USSR Symposium on the Theory of Logical Inference","first-page":"147","article-title":"To the theory of modal and superintuitionistic systems","author":"Esakia","year":"1979"},{"key":"10.1016\/S1570-2464(07)80010-3_bib38","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1111\/j.1755-2567.1977.tb00779.x","article-title":"Five critical systems","volume":"40","author":"Esakia","year":"1977","journal-title":"Theoria"},{"key":"10.1016\/S1570-2464(07)80010-3_bib39","doi-asserted-by":"crossref","first-page":"1365","DOI":"10.2307\/2275149","article-title":"Counting the maximal intermediate constructive logics","volume":"58","author":"Ferrari","year":"1993","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib40","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1002\/malq.19710170141","article-title":"The logics containing SA.3","volume":"17","author":"Fine","year":"1971","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1570-2464(07)80010-3_bib41","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1111\/j.1755-2567.1974.tb00081.x","article-title":"An ascending chain of 54 logics","volume":"40","author":"Fine","year":"1974","journal-title":"Theoria"},{"key":"10.1016\/S1570-2464(07)80010-3_bib42","doi-asserted-by":"crossref","unstructured":"K. Fine, An incomplete logic containing 54 Theoria, 40, 23-29","DOI":"10.1111\/j.1755-2567.1974.tb00076.x"},{"key":"10.1016\/S1570-2464(07)80010-3_bib43","doi-asserted-by":"crossref","first-page":"229","DOI":"10.2307\/2272340","article-title":"Logics containing KA, part I","volume":"39","author":"Fine","year":"1974","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib44","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1305\/ndjfl\/1093891703","article-title":"Normal forms in modal logic","volume":"16","author":"Fine","year":"1975","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib45","doi-asserted-by":"crossref","first-page":"619","DOI":"10.2307\/2274318","article-title":"Logics containing KA, part II","volume":"50","author":"Fine","year":"1985","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib46","doi-asserted-by":"crossref","first-page":"431","DOI":"10.2307\/2270700","article-title":"The decidability of the Kreisel-Putnam system","volume":"35","author":"Gabbay","year":"1970","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib47","doi-asserted-by":"crossref","first-page":"67","DOI":"10.2307\/2272344","article-title":"A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property","volume":"39","author":"Gabbay","year":"1974","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib48","article-title":"Many-Dimensional Modal Logics: Theory and Applications","volume":"148","author":"Gabbay","year":"2003","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"key":"10.1016\/S1570-2464(07)80010-3_bib49","doi-asserted-by":"crossref","first-page":"993","DOI":"10.2178\/jsl\/1122038925","article-title":"Products of \u2018transitive\u2019 modal logics","volume":"70","author":"Gabelaia","year":"2005","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib50","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/j.apal.2004.04.007","article-title":"A Sahlqvist theorem for distributive modal logic","volume":"131","author":"Gehrke","year":"2005","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib51","first-page":"65","article-title":"Zum intuitionistischen Aussagenkalk\u00fcl","volume":"69","author":"G\u00f6del","year":"1932","journal-title":"Anzeiger der Akademie der Wissenschaften in Wien"},{"key":"10.1016\/S1570-2464(07)80010-3_bib52","first-page":"39","article-title":"Eine Interpretation des intuitionistischen Aussagenkalk\u00fcls","volume":"4","author":"G\u00f6del","year":"1933","journal-title":"Ergebnisse eines mathematis- chen Kolloquiums"},{"key":"10.1016\/S1570-2464(07)80010-3_bib53","doi-asserted-by":"crossref","first-page":"35","DOI":"10.2307\/2272267","article-title":"First-order definability in modal logic","volume":"40","author":"Goldblatt","year":"1975","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib54","first-page":"41","article-title":"Metamathematics of modal logic, Part I","volume":"6","author":"Goldblatt","year":"1976","journal-title":"Reports on Mathematical Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib55","doi-asserted-by":"crossref","first-page":"554","DOI":"10.2307\/2274699","article-title":"The McKinsey axiom is not canonical","volume":"56","author":"Goldblatt","year":"1991","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib56","series-title":"Mathematics of Modality. Number 43 in CSLI Lecture Notes","author":"Goldblatt","year":"1993"},{"key":"10.1016\/S1570-2464(07)80010-3_bib57","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)80010-3_bib58","doi-asserted-by":"crossref","first-page":"186","DOI":"10.2178\/bsl\/1082986262","article-title":"Erd\u00f6s graphs resolve Fine's canonicity problem","volume":"10","author":"Goldblatt","year":"2004","journal-title":"Bulletin of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib59","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)80010-3_bib60","first-page":"221","article-title":"Sahlqvist formulas unleashed in polyadic modal languages","volume":"3","author":"Goranko","year":"2002"},{"key":"10.1016\/S1570-2464(07)80010-3_bib61","article-title":"Modale Logiken funktionaler Frames","author":"Grefe","year":"1994"},{"key":"10.1016\/S1570-2464(07)80010-3_bib62","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1145\/4904.4993","article-title":"Effective transformations on infinite trees, with applications to high undecidability, domi- noes, and fairness","volume":"33","author":"Harel","year":"1986","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1570-2464(07)80010-3_bib63","first-page":"42","article-title":"Die formalen Regeln der intuitionistischen Logik","author":"Heyting","year":"1930","journal-title":"Sitzungsberichte der Preussischen Akademie der Wissenschaften"},{"key":"10.1016\/S1570-2464(07)80010-3_bib64","article-title":"Hybrid formulas and elementarily generated modal logics","author":"Hodkinson","year":"2005"},{"key":"10.1016\/S1570-2464(07)80010-3_bib65","article-title":"A Companion to Modal Logic","author":"Hughes","year":"1984"},{"key":"10.1016\/S1570-2464(07)80010-3_bib66","first-page":"1203","article-title":"The relationship between deducibility in the intuitionistic propositional calculus and finite implicational structures","volume":"4","author":"Jankov","year":"1963","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/S1570-2464(07)80010-3_bib67","first-page":"1103","article-title":"Some superconstructive propositional calculi","volume":"4","author":"Jankov","year":"1963","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/S1570-2464(07)80010-3_bib68","first-page":"806","article-title":"The construction of a sequence of strongly independent superintuitionistic propositional calculi","volume":"9","author":"Jankov","year":"1968","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/S1570-2464(07)80010-3_bib69","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1070\/IM1969v003n01ABEH000744","article-title":"Conjunctively indecomposable formulas in propositional calculi","volume":"3","author":"Jankov","year":"1969","journal-title":"Mathematics of the USSR"},{"key":"10.1016\/S1570-2464(07)80010-3_bib70","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/BF01057646","article-title":"On the canonicity of Sahlqvist identities","volume":"53","author":"J\u00f3nsson","year":"1994","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80010-3_bib71","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","article-title":"Boolean algebras with operators","volume":"73","author":"J\u00f3nsson","year":"1951","journal-title":"I. American Journal of Mathematics"},{"key":"10.1016\/S1570-2464(07)80010-3_bib72","first-page":"47","article-title":"A new generalization of Sahlqvist theorem","author":"Kikot","year":"2005","journal-title":"Algebraic and Topological Methods in Non- Classical Logics II"},{"key":"10.1016\/S1570-2464(07)80010-3_bib73","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1305\/ndjfl\/1093883567","article-title":"A result on propositional logics having the disjunction property","volume":"23","author":"Kirk","year":"1982","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib74","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/2269016","article-title":"On the interpretation of intuitionistic number theory","volume":"10","author":"Kleene","year":"1945","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib75","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1305\/ndjfl\/1038949533","article-title":"Modal logics that need large frames","volume":"40","author":"Kracht","year":"1999","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib76","series-title":"Tools and Techniques in Modal Logic","author":"Kracht","year":"1999"},{"key":"10.1016\/S1570-2464(07)80010-3_bib77","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)80010-3_bib78","first-page":"74","article-title":"Eine Unableitbarkeitsbeweismethode f\u00fcr den intuitionistischen Aus- sagenkalk\u00fcl","volume":"3","author":"Kreisel","year":"1957","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1570-2464(07)80010-3_bib79","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","article-title":"Semantical analysis of modal logic, Part I","volume":"9","author":"Kripke","year":"1963","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1570-2464(07)80010-3_bib80","first-page":"210","article-title":"Well-quasi-ordering, the tree theorem and Vazsonyi's conjecture","volume":"95","author":"Kruskal","year":"1960","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/S1570-2464(07)80010-3_bib81","first-page":"47","article-title":"Undecidability of general problems of completeness, decidability and equivalence for propositional calculi","volume":"2","author":"Kuznetsov","year":"1963","journal-title":"Algebra and Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib82","first-page":"255","article-title":"Some properties of the structure of varieties of pseudo-Boolean algebras","author":"Kuznetsov","year":"1971"},{"key":"10.1016\/S1570-2464(07)80010-3_bib83","article-title":"The decidability of certain superintuitionistic calculi","author":"Kuznetsov","year":"1972","journal-title":"Proceedings of the IInd USSR Conference on Mathematical Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib84","first-page":"243","article-title":"On superintuitionistic logics","author":"Kuznetsov","year":"1975"},{"key":"10.1016\/S1570-2464(07)80010-3_bib85","first-page":"1614","article-title":"Superintuitionistic logics and the finite approximability","volume":"11","author":"Kuznetsov","year":"1970","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/S1570-2464(07)80010-3_bib86","doi-asserted-by":"crossref","first-page":"46","DOI":"10.2307\/2270619","article-title":"Algebraic semantics for modal logic","volume":"31","author":"Lemmon","year":"1966","journal-title":"I. Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib87","doi-asserted-by":"crossref","first-page":"191","DOI":"10.2307\/2269810","article-title":"Algebraic semantics for modal logic. II","volume":"31","author":"Lemmon","year":"1966","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib88","author":"Lemmon","year":"1977","journal-title":"An Introduction to Modal Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib89","first-page":"288","article-title":"Some syntactic theorems on the calculus of finite problems of Yu.T. Medvedev","volume":"10","author":"Levin","year":"1969","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/S1570-2464(07)80010-3_bib90","doi-asserted-by":"crossref","DOI":"10.1525\/9780520398252","author":"Lewis","year":"1918","journal-title":"A Survey of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib91","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1007\/BF00257488","article-title":"Intensional logics without iterative axioms","volume":"3","author":"Lewis","year":"1974","journal-title":"Journal of Philosophical logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib92","article-title":"An algebraic approach to incompleteness in modal logic","author":"Litak","year":"2005","journal-title":"PhD thesis"},{"key":"10.1016\/S1570-2464(07)80010-3_bib93","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/s11225-005-3702-8","article-title":"All finitely axiomatizable tense logics of linear time flows are coNP-complete","volume":"81","author":"Litak","year":"2005","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80010-3_bib94","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1305\/ndjfl\/1093894226","article-title":"Some embedding theorems for modal logic","volume":"12","author":"Makinson","year":"1971","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib95","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1007\/BF02330744","article-title":"Pretabular superintuitionistic logics","volume":"11","author":"Maksimova","year":"1972","journal-title":"Algebra and Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib96","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/BF01668576","article-title":"Pretabular extensions of Lewis S4","volume":"14","author":"Maksimova","year":"1975","journal-title":"Algebra and Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib97","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1007\/BF01669837","article-title":"Interpolation theorems in modal logics Sufficient conditions","volume":"19","author":"Maksimova","year":"1980","journal-title":"Algebra and Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib98","series-title":"Proceedings of the 7th USSR Conference for Mathematical Logic","first-page":"95","article-title":"On the number of maximal intermediate logics having the disjunction property","author":"Maksimova","year":"1984"},{"key":"10.1016\/S1570-2464(07)80010-3_bib99","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF01881550","article-title":"On maximal intermediate logics with the disjunction property","volume":"45","author":"Maksimova","year":"1986","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80010-3_bib100","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF01463150","article-title":"Lattices of modal logics","volume":"13","author":"Maksimova","year":"1974","journal-title":"Algebra and Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib101","first-page":"394","article-title":"The impossibility of a finite axiomatization of Medvedev's logic of finitary problems","volume":"20","author":"Maksimova","year":"1979","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/S1570-2464(07)80010-3_bib102","series-title":"Algorithms and Recursive Functions","author":"Mal'cev","year":"1970"},{"key":"10.1016\/S1570-2464(07)80010-3_bib103","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)80010-3_bib104","doi-asserted-by":"crossref","first-page":"258","DOI":"10.2307\/2269871","article-title":"The decidability of certain intermediate logics","volume":"33","author":"McKay","year":"1968","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib105","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2271521","article-title":"A class of decidable intermediate propositional logics","volume":"36","author":"McKay","year":"1971","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib106","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1972-0313141-1","article-title":"Equational bases and non-modular lattice varieties","volume":"174","author":"McKenzie","year":"1972","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/S1570-2464(07)80010-3_bib107","doi-asserted-by":"crossref","first-page":"122","DOI":"10.2307\/1969038","article-title":"On closed elements in closure algebras","volume":"47","author":"McKinsey","year":"1946","journal-title":"Annals of Mathematics"},{"key":"10.1016\/S1570-2464(07)80010-3_bib108","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268135","article-title":"Some theorems about the sentential calculi of Lewis and Heyting","volume":"13","author":"McKinsey","year":"1948","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib109","first-page":"227","article-title":"Finite problems","volume":"3","author":"Medvedev","year":"1962","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/S1570-2464(07)80010-3_bib110","first-page":"180","article-title":"Interpretation of logical formulas by means of finite problems and its relation to the realizability theory","volume":"4","author":"Medvedev","year":"1963","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/S1570-2464(07)80010-3_bib111","first-page":"857","article-title":"Interpretation of logical formulas by means of finite problems","volume":"7","author":"Medvedev","year":"1966","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/S1570-2464(07)80010-3_bib112","doi-asserted-by":"crossref","first-page":"494","DOI":"10.2307\/2274396","article-title":"Provability in finite subtheories of PA and relative interpretability: a modal investiga-tion","volume":"52","author":"Montagna","year":"1987","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib113","doi-asserted-by":"crossref","first-page":"319","DOI":"10.2307\/2273624","article-title":"The decidability of normal K5-logics","volume":"46","author":"Nagle","year":"1981","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib114","doi-asserted-by":"crossref","first-page":"102","DOI":"10.2307\/2273793","article-title":"The extensions of the modal logic","volume":"50","author":"Nagle","year":"1985","journal-title":"K5. Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib115","doi-asserted-by":"crossref","first-page":"327","DOI":"10.2307\/2963526","article-title":"On formulas of one variable in intuitionistic propositional calculus","volume":"25","author":"Nishimura","year":"1960","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib116","doi-asserted-by":"crossref","first-page":"117","DOI":"10.2977\/prims\/1195193228","article-title":"Some results on the intermediate logics","volume":"8","author":"Ono","year":"1972","journal-title":"Publications of the Research Institute for Mathe-matical Science, Kyoto University"},{"key":"10.1016\/S1570-2464(07)80010-3_bib117","first-page":"263","article-title":"The calculus of compatibility of propositions","volume":"35","author":"Orlov","year":"1928","journal-title":"Mathematics of the USSR, Sbornik"},{"key":"10.1016\/S1570-2464(07)80010-3_bib118","series-title":"The Mathematics of Metamathematics","author":"Rasiowa","year":"1963"},{"key":"10.1016\/S1570-2464(07)80010-3_bib119","series-title":"Klassische und nichtklassische Aussagenlogik","author":"Rautenberg","year":"1979"},{"key":"10.1016\/S1570-2464(07)80010-3_bib120","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)80010-3_bib121","article-title":"Intuitionistic correspondence theory","author":"Rodenburg","year":"1986"},{"key":"10.1016\/S1570-2464(07)80010-3_bib122","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1953-0055952-4","article-title":"Propositional calculus and realizability","volume":"75","author":"Rose","year":"1953","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/S1570-2464(07)80010-3_bib123","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF01669284","article-title":"Noncompact extensions of the logic","volume":"16","author":"Rybakov","year":"1977","journal-title":"S4. Algebra and Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib124","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1007\/BF01674781","article-title":"Modal logics with LM-axioms","volume":"17","author":"Rybakov","year":"1978","journal-title":"Algebra and Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib125","series-title":"Proceedings of the Third Scandinavian Logic Symposium","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)80010-3_bib126","doi-asserted-by":"crossref","first-page":"992","DOI":"10.2307\/2274758","article-title":"A topological proof of Sahlqvist's theorem","volume":"54","author":"Sambin","year":"1989","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib127","doi-asserted-by":"crossref","first-page":"112","DOI":"10.2307\/2266683","article-title":"Extensions of the Lewis system","volume":"16","author":"Scroggs","year":"1951","journal-title":"S5. Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib128","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1111\/j.1755-2567.1970.tb00429.x","article-title":"Modal logics with linear alternative relations","volume":"36","author":"Segerberg","year":"1970","journal-title":"Theoria"},{"key":"10.1016\/S1570-2464(07)80010-3_bib129","article-title":"An essay in classical modal logic","volume":"13","author":"Segerberg","year":"1971","journal-title":"Philosophical Studies"},{"key":"10.1016\/S1570-2464(07)80010-3_bib130","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)80010-3_bib131","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1305\/ndjfl\/1093636763","article-title":"Modal logics with functional alternative relations","volume":"27","author":"Segerberg","year":"1986","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib132","first-page":"985","article-title":"On incomplete propositional logics","volume":"18","author":"Shehtman","year":"1977","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/S1570-2464(07)80010-3_bib133","first-page":"74","article-title":"Topological models of propositional logics","volume":"15","author":"Shehtman","year":"1980","journal-title":"Semiotics and Information Science"},{"key":"10.1016\/S1570-2464(07)80010-3_bib134","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)80010-3_bib135","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/3828.3837","article-title":"The complexity of propositional linear temporal logics","volume":"32","author":"Sistla","year":"1985","journal-title":"Journal of the Association for Computing Machinery"},{"key":"10.1016\/S1570-2464(07)80010-3_bib136","article-title":"Investigations of Intuitionistic Formal Systems by means of Kripke Frames","author":"Smory\u0144ski","year":"1973"},{"key":"10.1016\/S1570-2464(07)80010-3_bib137","series-title":"Multidimensional Modal Logic, volume 4 of Applied Logic Series","article-title":"Self-reference and Modal Logic","author":"Smorynski","year":"1985"},{"key":"10.1016\/S1570-2464(07)80010-3_bib138","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1070\/SM1977v031n02ABEH003624","article-title":"On the finite approximability of superintuitionistic logics","volume":"31","author":"Sobolev","year":"1977","journal-title":"Mathematics of the USSR, Sbornik"},{"key":"10.1016\/S1570-2464(07)80010-3_bib139","article-title":"Complexity of Modal Logics","author":"Spaan","year":"1993"},{"key":"10.1016\/S1570-2464(07)80010-3_bib140","doi-asserted-by":"crossref","first-page":"716","DOI":"10.2307\/2272419","article-title":"Noncompactness in propositional modal logic","volume":"37","author":"Thomason","year":"1972","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib141","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2272558","article-title":"Semantic analysis of tense logic","volume":"37","author":"Thomason","year":"1972","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib142","doi-asserted-by":"crossref","first-page":"30","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)80010-3_bib143","doi-asserted-by":"crossref","first-page":"549","DOI":"10.2307\/2272895","article-title":"Reduction of tense logic to modal logic I","volume":"39","author":"Thomason","year":"1974","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib144","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1002\/malq.19750210104","article-title":"The logical consequence relation of propositional tense logic","volume":"21","author":"Thomason","year":"1975","journal-title":"Zeitschrift f\u00fcr mathema-tische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1570-2464(07)80010-3_bib145","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 mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1570-2464(07)80010-3_bib146","doi-asserted-by":"crossref","first-page":"341","DOI":"10.4064\/-9-1-341-345","article-title":"Undecidability of the completeness problem of modal logic","volume":"vol.9","author":"Thomason","year":"1982","journal-title":"Universal Algebra and Applications, Banach Center Publications"},{"key":"10.1016\/S1570-2464(07)80010-3_bib147","series-title":"Algebraic and Topological Methods in Non-Classical Logics II","first-page":"82","article-title":"Algebraic approach to canonical formulas in Ext-FLewand NExt K","author":"Tomaszewski","year":"2005"},{"key":"10.1016\/S1570-2464(07)80010-3_bib148_1","first-page":"172","article-title":"Associative calculus with unsolvable equivalence problem","volume":"52","author":"Tseitin","year":"1958","journal-title":"Proceedings of the Mathe- matical Steklov Institute of the USSR Academy of Sciences"},{"key":"10.1016\/S1570-2464(07)80010-3_bib148_2","first-page":"73","article-title":"American Mathematical Society","volume":"94","author":"Tseitin","year":"1958","journal-title":"Translations. Series 2"},{"key":"10.1016\/S1570-2464(07)80010-3_bib149","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1017\/S0027763000023412","article-title":"\u00dcber die Zwischensysteme der Aussagenlogik","volume":"9","author":"Umezawa","year":"1955","journal-title":"Nagoya Mathematical Journal"},{"key":"10.1016\/S1570-2464(07)80010-3_bib150","doi-asserted-by":"crossref","first-page":"20","DOI":"10.2307\/2964571","article-title":"On intermediate propositional logics","volume":"24","author":"Umezawa","year":"1959","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib151","doi-asserted-by":"crossref","first-page":"661","DOI":"10.2307\/2272850","article-title":"Implicational formulas in intuitionistic logic","volume":"39","author":"Urquhart","year":"1974","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib152","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF00370316","article-title":"Some kinds of modal completeness","volume":"39","author":"van Benthem","year":"1980","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80010-3_bib153","first-page":"167","article-title":"Correspondence theory","volume":"vol.2","author":"van Benthem","year":"1984"},{"key":"10.1016\/S1570-2464(07)80010-3_bib154","doi-asserted-by":"crossref","first-page":"85","DOI":"10.2307\/2272270","article-title":"A note on modal formulas and relational properties","volume":"40","author":"van Benthem","year":"1975","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib155","doi-asserted-by":"crossref","first-page":"301","DOI":"10.2307\/2272228","article-title":"Modal reduction principles","volume":"41","author":"van Benthem","year":"1976","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib156","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":"1979","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib157","first-page":"225","article-title":"Intuitionistic Logic","volume":"vol.3","author":"van Dalen","year":"1986"},{"key":"10.1016\/S1570-2464(07)80010-3_bib158","first-page":"149","article-title":"Why is modal logic so robustly decidable?","volume":"vol.31","author":"Vardi","year":"1997"},{"key":"10.1016\/S1570-2464(07)80010-3_bib159","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0168-0072(93)E0079-4","article-title":"A course in bimodal provability logic","volume":"73","author":"Visser","year":"1995","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib160","doi-asserted-by":"crossref","first-page":"757","DOI":"10.2307\/2275755","article-title":"The finite model property in tense logic","volume":"60","author":"Wolter","year":"1995","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib161","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1305\/ndjfl\/1040046085","article-title":"A counterexample in tense logic","volume":"37","author":"Wolter","year":"1996","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib162","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1002\/malq.19960420140","article-title":"Properties of tense logics","volume":"42","author":"Wolter","year":"1996","journal-title":"Mathematical Logic Quarterly"},{"key":"10.1016\/S1570-2464(07)80010-3_bib163","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1002\/malq.19960420113","article-title":"Tense logics without tense operators","volume":"42","author":"Wolter","year":"1996","journal-title":"Mathematical Logic Quarterly"},{"key":"10.1016\/S1570-2464(07)80010-3_bib164","doi-asserted-by":"crossref","first-page":"131","DOI":"10.2307\/2275736","article-title":"Completeness and decidability of tense logics closely related to logics containing KA","volume":"62","author":"Wolter","year":"1997","journal-title":". Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib165","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1023\/A:1017956722866","article-title":"A note on the interpolation property in tense logic","volume":"26","author":"Wolter","year":"1997","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib166","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0168-0072(96)00049-8","article-title":"The structure of lattices of subframe logics","volume":"86","author":"Wolter","year":"1997","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib167","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/s001530050090","article-title":"All finitely axiomatizable subframe logics containing CSM are decidable","volume":"37","author":"Wolter","year":"1998","journal-title":"Archive for Mathematical Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib168","series-title":"ASL Logic Colloquium","article-title":"Sufficient condition of decidability for intermediate propositional logics","author":"Wronski","year":"1989"},{"key":"10.1016\/S1570-2464(07)80010-3_bib169","first-page":"274","article-title":"On intermediate logics","volume":"27","author":"Zakharyaschev","year":"1983","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/S1570-2464(07)80010-3_bib170","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/BF01982017","article-title":"Syntax and semantics of intermediate logics","volume":"28","author":"Zakharyaschev","year":"1989","journal-title":"Algebra and Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib171","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1070\/SM1991v068n01ABEH002104","article-title":"Modal companions of superintuitionistic logics: syntax, semantics and preserva-tion theorems","volume":"68","author":"Zakharyaschev","year":"1991","journal-title":"Mathematics of the USSR, Sbornik"},{"key":"10.1016\/S1570-2464(07)80010-3_bib172","doi-asserted-by":"crossref","first-page":"1377","DOI":"10.2307\/2275372","article-title":"Canonical formulas for KA.Part I: Basic results","volume":"57","author":"Zakharyaschev","year":"1992","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib173","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1093\/jigpal\/1.1.13","article-title":"A sufficient condition for the finite model property of modal logics above KA","volume":"1","author":"Zakharyaschev","year":"1993","journal-title":"Bulletin of the IGPL"},{"key":"10.1016\/S1570-2464(07)80010-3_bib174","doi-asserted-by":"crossref","first-page":"421","DOI":"10.2307\/2275669","article-title":"Canonical formulas for K4.Part II: Cofinal subframe logics","volume":"61","author":"Zakharyaschev","year":"1996","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib175","doi-asserted-by":"crossref","first-page":"950","DOI":"10.2307\/2275581","article-title":"Canonical formulas for KA.Part III: The finite model property","volume":"62","author":"Zakharyaschev","year":"1997","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80010-3_bib176","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1002\/malq.19950410103","article-title":"All finitely axiomatizable normal extensions of K4.3 ti]are decidable","volume":"41","author":"Zakharyaschev","year":"1995","journal-title":"Mathematical Logic Quarterly"},{"key":"10.1016\/S1570-2464(07)80010-3_bib177","first-page":"83","article-title":"Advanced modal logic","volume":"vol.3","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:S1570246407800103?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570246407800103?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:59Z","timestamp":1761606839000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1570246407800103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9780444516909"],"references-count":179,"URL":"https:\/\/doi.org\/10.1016\/s1570-2464(07)80010-3","relation":{},"ISSN":["1570-2464"],"issn-type":[{"value":"1570-2464","type":"print"}],"subject":[],"published":{"date-parts":[[2007]]}}}