{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T23:17:35Z","timestamp":1761607055644,"version":"build-2065373602"},"reference-count":64,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780444516909"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1016\/s1570-2464(07)80011-5","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T09:38:50Z","timestamp":1191490730000},"page":"491-545","source":"Crossref","is-referenced-by-count":23,"title":["8 Modal consequence relations"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1570-2464(07)80011-5_bib1","series-title":"Michael Zakharyaschev","first-page":"35","article-title":"Interpolation, Definability and Fixed Points","volume":"Volume 2","author":"Areces","year":"2001"},{"key":"10.1016\/S1570-2464(07)80011-5_bib2","first-page":"56","article-title":"Nominal tense logic","volume":"39","author":"Blackburn","year":"1993","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80011-5_bib3","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/BF02483108","article-title":"The lattice of modal algebras is not strongly atomic","volume":"11","author":"Blok","year":"1980","journal-title":"Algebra Universalis"},{"key":"10.1016\/S1570-2464(07)80011-5_bib4","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":"1980"},{"year":"1989","series-title":"Algebraizable Logics","author":"Blok","key":"10.1016\/S1570-2464(07)80011-5_bib5"},{"key":"10.1016\/S1570-2464(07)80011-5_bib6","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01195727","article-title":"On the structure of varieties with equationally definable principal congruences III","volume":"32","author":"Blok","year":"1994","journal-title":"Algebra Universalis"},{"key":"10.1016\/S1570-2464(07)80011-5_bib7","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":"A. Bull","year":"1966","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1570-2464(07)80011-5_bib8","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1093\/logcom\/5.3.287","article-title":"On the Independent Axiomatizability of Modal and Intermediate Logics","volume":"5","author":"Chagrov","year":"1995","journal-title":"Journal of Logic and Computation"},{"year":"1997","series-title":"Modal Logic","author":"Chagrov","key":"10.1016\/S1570-2464(07)80011-5_bib9"},{"key":"10.1016\/S1570-2464(07)80011-5_bib10","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1070\/SM1977v031n02ABEH002303","article-title":"On Admissible Rules for Intuitionistic Propositional Logic","volume":"31","author":"Citkin","year":"1977","journal-title":"Math. USSR Sbornik"},{"key":"10.1016\/S1570-2464(07)80011-5_bib11","first-page":"816","article-title":"On Structurally Complete Superintuitionistic Logics","volume":"19","author":"Citkin","year":"1978","journal-title":"Math. Doklady"},{"key":"10.1016\/S1570-2464(07)80011-5_bib12","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF02584057","article-title":"Equivalential logics (I)","volume":"40","author":"Czelakowski","year":"1981","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80011-5_bib13","first-page":"335","article-title":"Equivalential logics (II)","volume":"40","author":"Czelakowski","year":"1981","journal-title":"Studia Logica"},{"year":"2001","series-title":"Protoalgebraic Logics","author":"Czelakowski","key":"10.1016\/S1570-2464(07)80011-5_bib14"},{"key":"10.1016\/S1570-2464(07)80011-5_bib15","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/BF00156916","article-title":"Are Tableaux an Improvement on Truth-Tables? Cut-free Proofs and Biva-lence","volume":"1","author":"d'Agostino","year":"1993","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1570-2464(07)80011-5_bib16","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"},{"article-title":"Extending Modal Logic","year":"1993","author":"de Rijke","key":"10.1016\/S1570-2464(07)80011-5_bib17"},{"key":"10.1016\/S1570-2464(07)80011-5_bib18","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1002\/malq.19710170141","article-title":"The logics containing S4.3","volume":"17","author":"Fine","year":"1971","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1570-2464(07)80011-5_bib19","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1111\/j.1755-2567.1974.tb00081.x","article-title":"An ascending chain of S4 logics","volume":"40","author":"Fine","year":"1974","journal-title":"Theoria"},{"key":"10.1016\/S1570-2464(07)80011-5_bib20","doi-asserted-by":"crossref","first-page":"619","DOI":"10.2307\/2274318","article-title":"Logics containing K4, Part II","volume":"50","author":"Fine","year":"1985","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80011-5_bib21","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/PL00003848","article-title":"Leibniz filters and the strong version of a protoalgebraic logic","volume":"40","author":"Maria Font","year":"2001","journal-title":"Archive for Mathematical Logic"},{"key":"10.1016\/S1570-2464(07)80011-5_bib22","doi-asserted-by":"crossref","first-page":"113","DOI":"10.2307\/2271891","article-title":"One hundred and two problems in mathematical logic","volume":"40","author":"Friedman","year":"1975","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80011-5_bib23","series-title":"Aspects of philosophical logic","first-page":"67","article-title":"An irreflexivity lemma with applications to axiomatizations of conditions on linear frames","author":"M. Gabbay","year":"1981"},{"volume":"Vol. 1","year":"1994","author":"M. Gabbay","key":"10.1016\/S1570-2464(07)80011-5_bib24"},{"key":"10.1016\/S1570-2464(07)80011-5_bib25","doi-asserted-by":"crossref","first-page":"859","DOI":"10.2307\/2586506","article-title":"Unification in intuitionistic logic","volume":"64","author":"Ghilardi","year":"1999","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80011-5_bib26","doi-asserted-by":"crossref","first-page":"879","DOI":"10.2178\/jsl\/1096901773","article-title":"Filtering unification and most general unifiers in modal logic","volume":"69","author":"Ghilardi","year":"2004","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80011-5_bib27","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/BF01061237","article-title":"Undefinability of propositional quantifiers in modal system S4","volume":"55","author":"Ghilardi","year":"1995","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80011-5_bib28","doi-asserted-by":"crossref","first-page":"419","DOI":"10.2178\/jsl\/1052669058","article-title":"Simulating polyadic modal logics by monadic ones","volume":"68","author":"Goguadze","year":"2003","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80011-5_bib29","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1007\/BF01054038","article-title":"Modal logic with names","volume":"22","author":"Goranko","year":"1993","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1570-2464(07)80011-5_bib30","doi-asserted-by":"crossref","first-page":"603","DOI":"10.4153\/CMB-1973-100-4","article-title":"A note on the implicational class generated by a class of structures","volume":"16","author":"Graetzer","year":"1973","journal-title":"Canadian Mathematical Bulletin"},{"key":"10.1016\/S1570-2464(07)80011-5_bib31","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2266686","article-title":"On the semantic non-completeness of certain Lewis calculi","volume":"16","author":"Halld\u00e9n","year":"1951","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80011-5_bib32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0305004100033120","article-title":"On the existence of finite models and decision procedures for propositional calculi","volume":"54","author":"Harrop","year":"1958","journal-title":"Pro-ceedings of the Cambridge Philosophical Society"},{"year":"1984","series-title":"A Companion to Modal Logic","author":"E. Hughes","key":"10.1016\/S1570-2464(07)80011-5_bib33"},{"key":"10.1016\/S1570-2464(07)80011-5_bib34","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1305\/ndjfl\/1093870378","article-title":"Inaccessible worlds","volume":"24","author":"Humberstone","year":"1983","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80011-5_bib35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11225-006-8308-2","article-title":"Semisimple varieties of modal algebras","volume":"83","author":"Kowalski","year":"2006","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80011-5_bib36","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1007\/BF00370158","article-title":"An almost general splitting theorem for modal logic","volume":"49","author":"Kracht","year":"1990","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80011-5_bib37","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1002\/malq.19930390136","article-title":"Prefinitely Axiomatizable Modal and Intermediate Logics","volume":"39","author":"Kracht","year":"1993","journal-title":"Mathematical Logic Quarterly"},{"key":"10.1016\/S1570-2464(07)80011-5_bib38","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1305\/ndjfl\/1038949533","article-title":"Modal Logics that Need Very Large Frames","volume":"40","author":"Kracht","year":"1999","journal-title":"Notre Dame Journal of Formal Logic"},{"year":"1999","series-title":"Tools and Techniques in Modal Logic Number 142 in Studies in Logic","author":"Kracht","key":"10.1016\/S1570-2464(07)80011-5_bib39"},{"key":"10.1016\/S1570-2464(07)80011-5_bib40","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)80011-5_bib41","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1305\/ndjfl\/1093894226","article-title":"Some embedding theorems for modal logic","volume":"12","author":"C. Makinson","year":"1971","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80011-5_bib42","first-page":"643","article-title":"Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras","volume":"16","author":"L. Maksimova","year":"1977","journal-title":"Algebra i Logika"},{"key":"10.1016\/S1570-2464(07)80011-5_bib43","first-page":"556","article-title":"Interpolation theorems in modal logic and and amalgamable varieties of topo-boolean algebras","volume":"18","author":"L. Maksimova","year":"1978","journal-title":"Algebra i Logika"},{"key":"10.1016\/S1570-2464(07)80011-5_bib44","first-page":"349","article-title":"Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4","volume":"Volume 3","author":"Maksimova","year":"2002"},{"key":"10.1016\/S1570-2464(07)80011-5_bib45","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/S0747-7171(89)80013-6","article-title":"Boolean unification \u2014the story told so far","volume":"7","author":"Martin","year":"1989","journal-title":"Journal of Symbolic Computation"},{"key":"10.1016\/S1570-2464(07)80011-5_bib46","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1972-0313141-1","article-title":"Equational bases and nonmodular lattice varieties","volume":"174","author":"McKenzie","year":"1972","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/S1570-2464(07)80011-5_bib47","doi-asserted-by":"crossref","first-page":"33","DOI":"10.2307\/2275175","article-title":"On an interpretation of second order quantification in first order intuitionistic logic","volume":"57","author":"Pitts","year":"1992","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80011-5_bib48","first-page":"20","article-title":"An algebraic characterization of the notion of structural completeness","volume":"3","author":"Prucnal","year":"1974","journal-title":"Bulletin of the Section of Logic of the Polish Academy of Sciences"},{"key":"10.1016\/S1570-2464(07)80011-5_bib49","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/BF01178758","article-title":"Der Verband der normalen verzweigten Modallogiken","volume":"156","author":"Rautenberg","year":"1977","journal-title":"Mathematische Zeitschrift"},{"year":"1979","series-title":"Klassische und nichtklassische Aussagenlogik","author":"Rautenberg","key":"10.1016\/S1570-2464(07)80011-5_bib50"},{"key":"10.1016\/S1570-2464(07)80011-5_bib51","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/BF02021134","article-title":"Splitting lattices of logics","volume":"20","author":"Rautenberg","year":"1980","journal-title":"Archiv f\u00fcr Mathematische Logik"},{"key":"10.1016\/S1570-2464(07)80011-5_bib52","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/BF00249258","article-title":"Modal tableau calculi and interpolation","volume":"12","author":"Rautenberg","year":"1983","journal-title":"Journal of Philosophical Logic"},{"year":"1997","series-title":"Admissibility of Inference Rules","author":"V. Rybakov","key":"10.1016\/S1570-2464(07)80011-5_bib53"},{"key":"10.1016\/S1570-2464(07)80011-5_bib54","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1111\/j.1755-2567.1993.tb00870.x","article-title":"Why does Halld\u00e9n-completeness matter?","volume":"59","author":"F. Schumm","year":"1993","journal-title":"Theoria"},{"key":"10.1016\/S1570-2464(07)80011-5_bib55","series-title":"Evandro Agazzi, editor, Modern Logic","first-page":"15","article-title":"The growth of logic out of the foundations of modern mathematics","author":"Surma","year":"1981"},{"key":"10.1016\/S1570-2464(07)80011-5_bib56","doi-asserted-by":"crossref","first-page":"139","DOI":"10.2307\/2275109","article-title":"Derivation rules as anti-axioms in modal logic","volume":"58","author":"Venema","year":"1993","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80011-5_bib57","series-title":"Godel 96","first-page":"139","article-title":"Uniform interpolation and layered bisimulation","author":"Visser","year":"1996"},{"key":"10.1016\/S1570-2464(07)80011-5_bib58","article-title":"An alternate rule of disjunction in modal logic","volume":"33","author":"Williamson","year":"1992","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80011-5_bib59","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1305\/ndjfl\/1093634728","article-title":"Some Admissible Rules in Nonnormal Modal Logics","volume":"34","author":"Williamson","year":"1993","journal-title":"Notre Dame Journal of Formal Logic"},{"year":"1988","series-title":"Theory of Logical Calculi","author":"W\u00f3jcicki","key":"10.1016\/S1570-2464(07)80011-5_bib60"},{"article-title":"Lattices of Modal Logics","year":"1993","author":"Wolter","key":"10.1016\/S1570-2464(07)80011-5_bib61"},{"key":"10.1016\/S1570-2464(07)80011-5_bib62","series-title":"Advances in Modal Logic","first-page":"361","article-title":"Independent fusions of modal logics revisited Marcus Kracht, Maarten de Rijke","author":"Wolter","year":"1997"},{"key":"10.1016\/S1570-2464(07)80011-5_bib63","doi-asserted-by":"crossref","first-page":"1377","DOI":"10.2307\/2275372","article-title":"Canonical formulas for K4, Part I, Basic results","volume":"57","author":"Zakharyaschev","year":"1992","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80011-5_bib64","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"}],"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:S1570246407800115?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570246407800115?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T23:15:01Z","timestamp":1761606901000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1570246407800115"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9780444516909"],"references-count":64,"URL":"https:\/\/doi.org\/10.1016\/s1570-2464(07)80011-5","relation":{},"ISSN":["1570-2464"],"issn-type":[{"type":"print","value":"1570-2464"}],"subject":[],"published":{"date-parts":[[2007]]}}}