{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T16:52:57Z","timestamp":1773939177215,"version":"3.50.1"},"reference-count":323,"publisher":"Elsevier","isbn-type":[{"value":"9780444516220","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1016\/s1874-5857(06)80027-0","type":"book-chapter","created":{"date-parts":[[2007,9,8]],"date-time":"2007-09-08T02:50:27Z","timestamp":1189219827000},"page":"1-98","source":"Crossref","is-referenced-by-count":33,"title":["Mathematical modal logic: A view of its evolution"],"prefix":"10.1016","author":[{"given":"Robert","family":"Goldblatt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1874-5857(06)80027-0_bib1","series-title":"Category Theory and Computer Science. Proceedings 1989","first-page":"357","article-title":"A final coalgebra theorem","author":"Aczel","year":"1989"},{"key":"10.1016\/S1874-5857(06)80027-0_bib2","article-title":"Non-Well-Founded Sets","author":"Aczel","year":"1988"},{"issue":"4","key":"10.1016\/S1874-5857(06)80027-0_bib3","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1017\/S0960129501003309","article-title":"The Russell-Prawitz modality","volume":"11","author":"Aczel","year":"2001","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"10.1016\/S1874-5857(06)80027-0_bib4","article-title":"Bibliography: Hugh MacColl","volume":"3","author":"Astroh","year":"1998","journal-title":"Nordic Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib5","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0304-3975(93)90076-6","article-title":"Terminal coalgebras in well-founded set theory","volume":"114","author":"Barr","year":"1993","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib6","article-title":"The Situation in Logic","author":"Barwise","year":"1989"},{"issue":"1","key":"10.1016\/S1874-5857(06)80027-0_bib7","first-page":"28","article-title":"Correction de la logique modale du premier et du second ordre S5","volume":"1","author":"Bayart","year":"1958","journal-title":"Logique et Analyse"},{"issue":"6\u20137","key":"10.1016\/S1874-5857(06)80027-0_bib8","first-page":"99","article-title":"Quasi-ad\u00e9quation de la logique modal du second ordre S5 et ad\u00e9quation de la logique modal du premier ordre S5","volume":"2","author":"Bayart","year":"1959","journal-title":"Logique et Analyse"},{"key":"10.1016\/S1874-5857(06)80027-0_bib9","first-page":"497","article-title":"Zur logik der modalitaten","volume":"11","author":"Becker","year":"1930","journal-title":"Jahrbuch f\u00fcr Philosophic und Ph\u00e4nomenologische Forschung"},{"key":"10.1016\/S1874-5857(06)80027-0_bib10","series-title":"Toposes and Local Set Theories","author":"Bell","year":"1988"},{"key":"10.1016\/S1874-5857(06)80027-0_bib11","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BF01257083","article-title":"The temporal logic of branching time","volume":"20","author":"Ben-Ari","year":"1983","journal-title":"Acta Informatica"},{"key":"10.1016\/S1874-5857(06)80027-0_bib12","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1017\/S0956796898002998","article-title":"Computational types from a logical perspective","volume":"8","author":"Benton","year":"1998","journal-title":"Journal of Functional Programming"},{"key":"10.1016\/S1874-5857(06)80027-0_bib13","series-title":"Handbook of Process Algebra","author":"Bergstra","year":"2001"},{"key":"10.1016\/S1874-5857(06)80027-0_bib14_1","first-page":"309","article-title":"Semantic entailment and formal derivability","volume":"18","author":"Beth","year":"1955","journal-title":"Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde, N. R."},{"key":"10.1016\/S1874-5857(06)80027-0_bib14_2","series-title":"The Philosophy of Mathematics","year":"1969"},{"key":"10.1016\/S1874-5857(06)80027-0_bib15","first-page":"441","article-title":"On the combination of subalgebras","volume":"29","author":"Birkhoff","year":"1933"},{"key":"10.1016\/S1874-5857(06)80027-0_bib16","first-page":"433","article-title":"On the structure of abstract algebras","volume":"31","author":"Birkhoff","year":"1935"},{"key":"10.1016\/S1874-5857(06)80027-0_bib17","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1090\/S0002-9904-1944-08235-9","article-title":"Subdirect unions in universal algebra","volume":"50","author":"Birkhoff","year":"1944","journal-title":"Bulletin of the American Mathematical Society"},{"key":"10.1016\/S1874-5857(06)80027-0_bib18","series-title":"American Mathematical Society","article-title":"Lattice Theory","author":"Birkhoff","year":"1948"},{"issue":"4","key":"10.1016\/S1874-5857(06)80027-0_bib19","first-page":"167 175","article-title":"On the degree of incompleteness of modal logics","volume":"7","author":"Blok","year":"1978","journal-title":"Bulletin of the Section of Logic of the Polish Academy of Sciences"},{"key":"10.1016\/S1874-5857(06)80027-0_bib20","article-title":"On the degree of incompleteness of modal logics and the covering relation in the lattice of modal logics","author":"Blok","year":"1978"},{"key":"10.1016\/S1874-5857(06)80027-0_bib21","doi-asserted-by":"crossref","first-page":"221","DOI":"10.2307\/2273184","article-title":"The lattice of modal logics: An algebraic investigation","volume":"15","author":"Blok","year":"1980","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib22","series-title":"A History of Formal Logic","author":"Bochenski","year":"1961"},{"key":"10.1016\/S1874-5857(06)80027-0_bib23","series-title":"An Investigation of the Laws of Thought","author":"Boole","year":"1854"},{"key":"10.1016\/S1874-5857(06)80027-0_bib24","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/BF00649480","article-title":"An incomplete system of modal logic","volume":"14","author":"Boolos","year":"1985","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00370383","article-title":"Provability: The emergence of a mathematical modality","volume":"50","author":"Boolos","year":"1991","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80027-0_bib26","series-title":"The Unprovability of Consistency","author":"Boolos","year":"1979"},{"key":"10.1016\/S1874-5857(06)80027-0_bib27","series-title":"The Logic of Provability","author":"Boolos","year":"1993"},{"key":"10.1016\/S1874-5857(06)80027-0_bib28","series-title":"Handbook of Process Algebra","first-page":"293","article-title":"Modal logics and mu-calculi: An introduction","author":"Bradfield","year":"2001"},{"key":"10.1016\/S1874-5857(06)80027-0_bib29","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1002\/malq.19640100403","article-title":"A note on the modal calculi S4.2 and S4.3","volume":"10","author":"Bull","year":"1964","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(06)80027-0_bib30","doi-asserted-by":"crossref","first-page":"58","DOI":"10.2307\/2270582","article-title":"An algebraic study of Diodorean modal systems","volume":"30","author":"Bull","year":"1965","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib31","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 Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(06)80027-0_bib32","doi-asserted-by":"crossref","first-page":"27","DOI":"10.2307\/2270049","article-title":"An algebraic study of tense logics with linear time","volume":"33","author":"Bull","year":"1968","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib33","doi-asserted-by":"crossref","first-page":"215","DOI":"10.2307\/2271097","article-title":"Note on a paper in tense logic","volume":"34","author":"Bull","year":"1969","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib34","doi-asserted-by":"crossref","first-page":"33","DOI":"10.2307\/2268610","article-title":"Modalities and quantification","volume":"11","author":"Carnap","year":"1946","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib35","series-title":"Meaning and Necessity","author":"Carnap","year":"1947"},{"key":"10.1016\/S1874-5857(06)80027-0_bib36","series-title":"Modal Logic","author":"Chagrov","year":"1997"},{"key":"10.1016\/S1874-5857(06)80027-0_bib37","series-title":"Model Theory","author":"Chang","year":"1973"},{"key":"10.1016\/S1874-5857(06)80027-0_bib38","series-title":"Logics of Programs","first-page":"52","article-title":"Design and synthesis of synchronisation skeletons using branching time temporal logic","author":"Clarke","year":"1981"},{"key":"10.1016\/S1874-5857(06)80027-0_bib39","series-title":"Proceedings of the Third Annual ACM Symposium on the Theory of Computing","first-page":"151","article-title":"The complexity of theorem proving procedures","author":"Cook","year":"1971"},{"key":"10.1016\/S1874-5857(06)80027-0_bib40","series-title":"Logic and Reality: Essays on the Legacy of Arthur Prior","year":"1996"},{"key":"10.1016\/S1874-5857(06)80027-0_bib41","series-title":"Logic and Reality: Essays on the Legacy of Arthur Prior","first-page":"1","article-title":"Prior's life and legacy","author":"Copeland","year":"1996"},{"issue":"2","key":"10.1016\/S1874-5857(06)80027-0_bib42","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1023\/A:1015273407895","article-title":"The genesis of possible worlds semantics","volume":"31","author":"Copeland","year":"2002","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib43","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1305\/ndjfl\/1093956082","article-title":"A Henkin completeness theorem for T","volume":"8","author":"Cresswell","year":"1967","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib44","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1305\/ndjfl\/1093890710","article-title":"The completeness of SI and some related systems","volume":"13","author":"Cresswell","year":"1972","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib45","series-title":"Logics and Languages","author":"Cresswell","year":"1973"},{"key":"10.1016\/S1874-5857(06)80027-0_bib46","doi-asserted-by":"crossref","first-page":"520","DOI":"10.2307\/2274183","article-title":"An incomplete decidable modal logic","volume":"49","author":"Cresswell","year":"1984","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib47","series-title":"Modality, Morality and Belief","first-page":"29","article-title":"SI is not so simple","author":"Cresswell","year":"1995"},{"key":"10.1016\/S1874-5857(06)80027-0_bib48","series-title":"Notre Dame Mathematical Lectures","article-title":"A Theory of Formal Deducibility","author":"Curry","year":"1950"},{"key":"10.1016\/S1874-5857(06)80027-0_bib49","doi-asserted-by":"crossref","first-page":"249","DOI":"10.2307\/2266613","article-title":"The elimination theorem when modality is present","volume":"17","author":"Curry","year":"1952","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib50","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(94)90269-0","article-title":"CTL* and ECTL* as fragments of the modal \u03bc-calculus","volume":"126","author":"Dam","year":"1994","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib51","doi-asserted-by":"crossref","first-page":"747","DOI":"10.2307\/2372649","article-title":"Modal operators, equivalence relations, and projective algebras","volume":"76","author":"Davis","year":"1954","journal-title":"American Journal of Mathematics"},{"key":"10.1016\/S1874-5857(06)80027-0_bib52","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/S1385-7258(66)50036-1","article-title":"On the connection of partially ordered sets with some pseudo-Boolean algebras","volume":"28","author":"de Jongh","year":"1966","journal-title":"Indagationes Mathematicae"},{"issue":"4","key":"10.1016\/S1874-5857(06)80027-0_bib53","first-page":"279","article-title":"Beth's nonclassical valuations","volume":"3","author":"de Jongh","year":"1998","journal-title":"Philosophia Scientiae"},{"key":"10.1016\/S1874-5857(06)80027-0_bib54","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF01058532","article-title":"Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras","volume":"54","author":"de Rijke","year":"1995","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80027-0_bib55","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF02770513","article-title":"Duality between modal algebras and neighbourhood frames","volume":"48","author":"Do\u0161en","year":"1989","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80027-0_bib56","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2268175","article-title":"Note on a property of matrices for Lewis and Langford's calculi of propositions","volume":"5","author":"Dugundji","year":"1940","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib57","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 Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(06)80027-0_bib58","series-title":"Automata, Languages and Programming. Proceedings 1980","first-page":"169","article-title":"Characterizing correctness properties of parallel programs using fixpoints","author":"Allen Emerson","year":"1980"},{"key":"10.1016\/S1874-5857(06)80027-0_bib59","series-title":"Annual ACM Symposium on Theory of Computing (STOC)","first-page":"169","article-title":"Decision procedures and expressiveness in the temporal logic of branching time","author":"Allen Emerson","year":"1982"},{"key":"10.1016\/S1874-5857(06)80027-0_bib60","series-title":"Proceedings of the Annual ACM Symposium on Principles of Programming Languages","first-page":"127","article-title":"\u201cSometimes\u201d and \u201cnot never\u201d revisited: On branching versus linear time","author":"Allen Emerson","year":"1983"},{"key":"10.1016\/S1874-5857(06)80027-0_bib61","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-0000(85)90001-7","article-title":"Decision procedures and expressiveness in the temporal logic of branching time","volume":"30","author":"Allen Emerson","year":"1985","journal-title":"Journal of Computer and Systems Sciences"},{"key":"10.1016\/S1874-5857(06)80027-0_bib62","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","article-title":"\u201cSometimes\u201d and \u201cnot never\u201d revisited: On branching versus linear time temporal logic","volume":"33","author":"Allen Emerson","year":"1986","journal-title":"Journal of the Association for Computing Machinery"},{"key":"10.1016\/S1874-5857(06)80027-0_bib63","series-title":"Proceedings of the 29th Annual IEEE Symposium on Foundations of Computer Science","first-page":"328","article-title":"The complexity of tree automata and logics of programs","author":"Allen Emerson","year":"1988"},{"key":"10.1016\/S1874-5857(06)80027-0_bib64","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":"Allen Emerson","year":"1999","journal-title":"SIAM Journal on Computing"},{"key":"10.1016\/S1874-5857(06)80027-0_bib65","series-title":"Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics","first-page":"995","article-title":"Temporal and modal logic","author":"Allen Emerson","year":"1990"},{"key":"10.1016\/S1874-5857(06)80027-0_bib66","doi-asserted-by":"crossref","first-page":"34","DOI":"10.4153\/CJM-1959-003-9","article-title":"Graph theory and probability","volume":"11","author":"Erd\u0151s","year":"1959","journal-title":"Canadian Journal of Mathematics"},{"key":"10.1016\/S1874-5857(06)80027-0_bib67","first-page":"147","article-title":"Topological Kripke models","volume":"15","author":"\u00c8sakia","year":"1974","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/S1874-5857(06)80027-0_bib68","doi-asserted-by":"crossref","first-page":"77","DOI":"10.2307\/2371742","article-title":"Projective algebras I","volume":"68","author":"Everett","year":"1946","journal-title":"American Journal of Mathematics"},{"key":"10.1016\/S1874-5857(06)80027-0_bib69","series-title":"Reasoning About Knowledge","author":"Fagin","year":"1995"},{"key":"10.1016\/S1874-5857(06)80027-0_bib70","series-title":"Computer Science Logic. Proceedings 1994","first-page":"354","article-title":"An intuitionistic modal logic with applications to the formal verification of hardware","author":"Fairtlough","year":"1995"},{"key":"10.1016\/S1874-5857(06)80027-0_bib71","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/inco.1997.2627","article-title":"Propositional lax logic","volume":"137","author":"Fairtlough","year":"1997","journal-title":"Information and Computation"},{"key":"10.1016\/S1874-5857(06)80027-0_bib72","series-title":"Modal Logics","author":"Feys","year":"1965"},{"key":"10.1016\/S1874-5857(06)80027-0_bib73","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\/S1874-5857(06)80027-0_bib74","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\/S1874-5857(06)80027-0_bib75","doi-asserted-by":"crossref","first-page":"229","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\/S1874-5857(06)80027-0_bib76","series-title":"Proceedings of the Third Scandinavian Logic Symposium","first-page":"15","article-title":"Some connections between elementary and modal logic","author":"Fine","year":"1975"},{"key":"10.1016\/S1874-5857(06)80027-0_bib77","series-title":"Proceedings of the Ninth Annual ACM Symposium on The Theory of Computing","first-page":"286","article-title":"Propositional modal logic of programs","author":"Fisher","year":"1977"},{"key":"10.1016\/S1874-5857(06)80027-0_bib78","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 Systems Sciences"},{"key":"10.1016\/S1874-5857(06)80027-0_bib79","first-page":"113","article-title":"Intuitionistic modal logic with quantifiers","volume":"7","author":"Fitch","year":"1948","journal-title":"Portugaliae Mathematicae"},{"key":"10.1016\/S1874-5857(06)80027-0_bib80","series-title":"Logic, Methodology and Philosophy of Science IX","first-page":"885","article-title":"Stig Kanger in memoriam","author":"F\u00f8llesdal","year":"1994"},{"key":"10.1016\/S1874-5857(06)80027-0_bib81","series-title":"Proceedings of the 7th Annual 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\/S1874-5857(06)80027-0_bib82","article-title":"Temporal Logic","volume":"volume 1","author":"Gabbay","year":"1994"},{"key":"10.1016\/S1874-5857(06)80027-0_bib83","first-page":"478","article-title":"On decidable, finitely axiomatizable, modal and tense logics without the finite model property, part I","volume":"11","author":"Gabbay","year":"1972","journal-title":"Israel Journal of Mathematics"},{"key":"10.1016\/S1874-5857(06)80027-0_bib84","series-title":"Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics","author":"Gabbay","year":"1976"},{"key":"10.1016\/S1874-5857(06)80027-0_bib85","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF02121664","article-title":"An extension of S4 complete for the neighborhood semantics but incomplete for the relational semantics","volume":"34","author":"Gerson","year":"1975","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80027-0_bib86","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/2271893","article-title":"The inadequacy of the neighborhood semantics for modal logic","volume":"40","author":"Gerson","year":"1975","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib87","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1002\/malq.19760220104","article-title":"A neighborhood frame for T with no equivalent relational frame","volume":"22","author":"Gerson","year":"1976","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(06)80027-0_bib88","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/s000120050100","article-title":"The preservation of Sahlqvist equations in completions of Boolean algebras with operators","volume":"41","author":"Givant","year":"1999","journal-title":"Algebra Universalis"},{"key":"10.1016\/S1874-5857(06)80027-0_bib89_1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF01700721","article-title":"Review of Becker 1930","volume":"38","author":"G\u00f6del","year":"1931","journal-title":"Monatshefte f\u00fcr Mathematik und Physik (Literaturberichte)"},{"key":"10.1016\/S1874-5857(06)80027-0_bib89_2","series-title":"Kurt G\u00f6del, Collected Works, Volume 1","first-page":"217","year":"1986"},{"key":"10.1016\/S1874-5857(06)80027-0_bib90_1","first-page":"39","article-title":"Eine interpretation des intuitionistischcn aussagenkalk\u00fcls","volume":"4","author":"Godel","year":"1933","journal-title":"Ergebnisse nines mathematischen Kolloquiums"},{"key":"10.1016\/S1874-5857(06)80027-0_bib90_2","series-title":"Kurt G\u00f6del, Collected Works, Volume 1","first-page":"296","author":"Troelstra","year":"1986"},{"key":"10.1016\/S1874-5857(06)80027-0_bib91","series-title":"Algebra and Logic, volume 450 of Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BFb0062855","article-title":"Axiomatic classes in prepositional modal logic","author":"Goldblatt","year":"1975"},{"key":"10.1016\/S1874-5857(06)80027-0_bib92","article-title":"On canonical modal logics that are not elementarily determined","volume":"181","author":"Goldblatt","year":"2003","journal-title":"Logique et Analyse"},{"issue":"2","key":"10.1016\/S1874-5857(06)80027-0_bib93","doi-asserted-by":"crossref","first-page":"186","DOI":"10.2178\/bsl\/1082986262","article-title":"Erd\u0151s graphs resolve Fine's canonicity problem","volume":"10","author":"Goldblatt","year":"2004","journal-title":"The Bulletin of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib94","doi-asserted-by":"crossref","DOI":"10.1017\/S0004972700041186","article-title":"Metamathematics of Modal Logic","author":"Goldblatt","year":"1974"},{"issue":"1","key":"10.1016\/S1874-5857(06)80027-0_bib95","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":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib96","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1305\/ndjfl\/1093891804","article-title":"Solution to a completeness problem of Lemmon and Scott","volume":"16","author":"Goldblatt","year":"1975","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib97","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1111\/j.1755-2567.1978.tb00831.x","article-title":"Arithmetical necessity, provability, and intuitionistic logic","volume":"44","author":"Goldblatt","year":"1978","journal-title":"Theoria"},{"key":"10.1016\/S1874-5857(06)80027-0_bib98","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00370321","article-title":"Diodorean modality in Minkowski spacetime","volume":"39","author":"Goldblatt","year":"1980","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80027-0_bib99","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1002\/malq.19810273104","article-title":"Grothendieck topology as geometric modality","volume":"27","author":"Goldblatt","year":"1981","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(06)80027-0_bib100","doi-asserted-by":"crossref","first-page":"225","DOI":"10.2307\/2273958","article-title":"Review of initial papers on dynamic logic by Pratt, Fischer and Ladner, Segerberg, Parikh and Kozen","volume":"51","author":"Goldblatt","year":"1986","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib101","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0168-0072(89)90032-8","article-title":"Varieties of complex algebras","volume":"44","author":"Goldblatt","year":"1989","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib102","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":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib103","series-title":"Algebraic Logic","first-page":"217","article-title":"On closure under canonical embedding algebras","author":"Goldblatt","year":"1991"},{"key":"10.1016\/S1874-5857(06)80027-0_bib104","article-title":"Mathematics of Modality","author":"Goldblatt","year":"1993"},{"key":"10.1016\/S1874-5857(06)80027-0_bib105","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1007\/BF01181878","article-title":"Elementary generation and canonicity for varieties of Boolean algebras with operators","volume":"34","author":"Goldblatt","year":"1995","journal-title":"Algebra Universalis"},{"key":"10.1016\/S1874-5857(06)80027-0_bib106","series-title":"JFAK","article-title":"Reflections on a proof of elementarity","author":"Goldblatt","year":"1999"},{"issue":"4","key":"10.1016\/S1874-5857(06)80027-0_bib107","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1093\/jigpal\/8.4.393","article-title":"Algebraic polymodal logic: A survey","volume":"8","author":"Goldblatt","year":"2000","journal-title":"Logic Journal of the IGPL"},{"key":"10.1016\/S1874-5857(06)80027-0_bib108","doi-asserted-by":"crossref","first-page":"497","DOI":"10.2307\/2695027","article-title":"Quasi-modal equivalence of canonical structures","volume":"66","author":"Goldblatt","year":"2001","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib109","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1016\/S0304-3975(00)00395-9","article-title":"What is the coalgebraic analogue of Birkhoff's variety theorem?","volume":"266","author":"Goldblatt","year":"2001","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib110","series-title":"Proceedings of the 7th and 8th Asian Logic Conferences","first-page":"152","article-title":"Enlargements of polynomial coalgebras","author":"Goldblatt","year":"2003"},{"key":"10.1016\/S1874-5857(06)80027-0_bib111","series-title":"Advances in Modal Logic, Volume 4","first-page":"149","article-title":"Equational logic of polynomial coalgebras","author":"Goldblatt","year":"2003"},{"issue":"5-6","key":"10.1016\/S1874-5857(06)80027-0_bib112","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\/S1874-5857(06)80027-0_bib113","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0168-0072(03)00038-1","article-title":"Observational ultraproducts of polynomial coalgebras","volume":"123","author":"Goldblatt","year":"2003","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib114","article-title":"Final coalgebras and the Hennessy-Milner property","author":"Goldblatt","year":"2004","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib115","doi-asserted-by":"crossref","first-page":"223","DOI":"10.4064\/fm-60-3-223-231","article-title":"Some relational systems and the associated topological spaces","volume":"60","author":"Grzegorezyk","year":"1967","journal-title":"Fundamenta Mathematicae"},{"key":"10.1016\/S1874-5857(06)80027-0_bib116","series-title":"LUATCS'99","article-title":"Elements of the general theory of coalgebras","author":"Peter Gumm","year":"1999"},{"key":"10.1016\/S1874-5857(06)80027-0_bib117","series-title":"Algebraic Logic","author":"Halmos","year":"1962"},{"key":"10.1016\/S1874-5857(06)80027-0_bib118","series-title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","first-page":"480","article-title":"A guide to the modal logics of knowledge and belief: Preliminary draft","author":"Halpern","year":"1985"},{"key":"10.1016\/S1874-5857(06)80027-0_bib119","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\/S1874-5857(06)80027-0_bib120","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1016\/0022-0000(82)90003-4","article-title":"Process logic: Expressiveness, decidability, completeness","volume":"25","author":"Harel","year":"1982","journal-title":"Journal of Computer and Systems Sciences"},{"key":"10.1016\/S1874-5857(06)80027-0_bib121","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1016\/0022-0000(83)90014-4","article-title":"Propositional dynamic logic of nonregular programs","volume":"26","author":"Harel","year":"1983","journal-title":"Journal of Computer and Systems Sciences"},{"key":"10.1016\/S1874-5857(06)80027-0_bib122","series-title":"First-Order Dynamic Logic, volume 68 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09237-4","author":"Harel","year":"1979"},{"key":"10.1016\/S1874-5857(06)80027-0_bib123","series-title":"Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic","first-page":"497","article-title":"Dynamic logic","author":"Harel","year":"1984"},{"key":"10.1016\/S1874-5857(06)80027-0_bib124","first-page":"1","article-title":"On the existence of finite models and decision procedures for propositional calculi","volume":"54","author":"Harrop","year":"1958"},{"key":"10.1016\/S1874-5857(06)80027-0_bib125","first-page":"191","article-title":"The flow of time into logic and computer science","volume":"82","author":"Hasle","year":"2004","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib126","series-title":"Cylindric Algebras I","author":"Henkin","year":"1971"},{"key":"10.1016\/S1874-5857(06)80027-0_bib127","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2267044","article-title":"The completeness of the first-order functional calculus","volume":"14","author":"Henkin","year":"1949","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib128","doi-asserted-by":"crossref","DOI":"10.2307\/2266967","article-title":"Completeness in the theory of types","volume":"15","author":"Henkin","year":"1950","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib129","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF01178384","article-title":"A modal logic for message passing processes","volume":"32","author":"Hennessy","year":"1995","journal-title":"Acta Informatica"},{"key":"10.1016\/S1874-5857(06)80027-0_bib130","series-title":"Automata, Languages and Programming. Proceedings 1980, volume 85 of Lecture Notes in Computer Science","first-page":"299","article-title":"On observing nondeterminism and concurrency","author":"Hennessy","year":"1980"},{"key":"10.1016\/S1874-5857(06)80027-0_bib131","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","article-title":"Algebraic laws for nondeterminism and concurrency","volume":"32","author":"Hennessy","year":"1985","journal-title":"Journal of the Association for Computing Machinery"},{"key":"10.1016\/S1874-5857(06)80027-0_bib132","series-title":"Grundlagen der Mathematik","author":"Hilbert","year":"1939"},{"issue":"4","key":"10.1016\/S1874-5857(06)80027-0_bib133","article-title":"Quantifiers in deontic logic","volume":"23","author":"Hintikka","year":"1957","journal-title":"Societas Scientiarum Fennica, Commentationes Humanarum Litterarum"},{"key":"10.1016\/S1874-5857(06)80027-0_bib134","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1111\/j.1755-2567.1961.tb00020.x","article-title":"Modality and quantification","volume":"27","author":"Hintikka","year":"1961","journal-title":"Theoria"},{"key":"10.1016\/S1874-5857(06)80027-0_bib135","doi-asserted-by":"crossref","first-page":"305","DOI":"10.2307\/2271131","article-title":"Review of \u201cThe morning star paradox\u201d by Stig Kanger","volume":"34","author":"Hintikka","year":"1969","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib136","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1145\/363235.363259","article-title":"An axiomatic basis for computer programming","volume":"12","author":"Hoare","year":"1969","journal-title":"Communications of the Association for Computing Machinery"},{"key":"10.1016\/S1874-5857(06)80027-0_bib137","series-title":"An Introduction to Modal Logic","author":"Hughes","year":"1968"},{"key":"10.1016\/S1874-5857(06)80027-0_bib138","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF00935597","article-title":"Every world can see a reflexive world","volume":"49","author":"Hughes","year":"1990","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80027-0_bib139","first-page":"1","article-title":"Postulates for assertion, conjunction, negation, and equality","volume":"72","author":"Huntington","year":"1937"},{"key":"10.1016\/S1874-5857(06)80027-0_bib140","first-page":"222","article-title":"A tutorial on (co)algebras and (co)induction","volume":"62","author":"Jacobs","year":"1997","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib141","series-title":"Object-Orientation with Parallelism and Persistence","first-page":"83","article-title":"Objects and classes, coalgebraically","author":"Jacobs","year":"1996"},{"key":"10.1016\/S1874-5857(06)80027-0_bib142","doi-asserted-by":"crossref","DOI":"10.1016\/S1571-0661(05)80348-2","article-title":"Towards a duality result in coalgebraic modal logic","volume":"33","author":"Jacobs","year":"2000","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib143","series-title":"Algebraic and Coalgebraic Methods in the Mathematics of Program Construction","first-page":"237","article-title":"Exercises in coalgebraic specification","author":"Jacobs","year":"2002"},{"key":"10.1016\/S1874-5857(06)80027-0_bib144","series-title":"Handbook of Proof Theory","first-page":"475","article-title":"The logic of provability","author":"Japaridze","year":"1998"},{"key":"10.1016\/S1874-5857(06)80027-0_bib145","first-page":"79","article-title":"Boolean algebras with operators","volume":"54","author":"J\u00f3nsson","year":"1948","journal-title":"Bulletin of the American Mathematical Society"},{"key":"10.1016\/S1874-5857(06)80027-0_bib146","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":"1951","journal-title":"American Journal of Mathematics"},{"key":"10.1016\/S1874-5857(06)80027-0_bib147","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\/S1874-5857(06)80027-0_bib148","doi-asserted-by":"crossref","first-page":"110","DOI":"10.7146\/math.scand.a-10850","article-title":"Algebras whose congruence lattices are distributive","volume":"21","author":"J\u00f3nsson","year":"1967","journal-title":"Math. Scand."},{"key":"10.1016\/S1874-5857(06)80027-0_bib149","series-title":"Algebras and Orders, volume 389 of NATO ASI Series","first-page":"239","article-title":"A survey of Boolean algebras with operators","author":"J\u00f3nsson","year":"1993"},{"key":"10.1016\/S1874-5857(06)80027-0_bib150","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\/S1874-5857(06)80027-0_bib151","article-title":"Tense Logic and the Theory of Linear Order","author":"Kamp","year":"1968"},{"key":"10.1016\/S1874-5857(06)80027-0_bib152","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1755-2567.1957.tb00263.x","article-title":"The morning star paradox","volume":"23","author":"Kanger","year":"1957","journal-title":"Theoria"},{"key":"10.1016\/S1874-5857(06)80027-0_bib153","series-title":"Provability in Logic","author":"Kanger","year":"1957"},{"key":"10.1016\/S1874-5857(06)80027-0_bib154","doi-asserted-by":"crossref","first-page":"120","DOI":"10.2307\/2270649","article-title":"Review of \u201cSemantical analysis of modal logic I. Normal modal propositional calculi\u201d, by Saul A. Kripke","volume":"31","author":"Kaplan","year":"1966","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib155","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/S0304-3975(97)00302-2","article-title":"A small final coalgebra theorem","volume":"233","author":"Kawahara","year":"2000","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib156","series-title":"The Development of Logic","author":"Knealc","year":"1962"},{"key":"10.1016\/S1874-5857(06)80027-0_bib157_1","first-page":"646","article-title":"On the principle of excluded middle (Russian)","volume":"32","author":"Kolmogorov","year":"1925","journal-title":"Matematicheskii Sbornik"},{"key":"10.1016\/S1874-5857(06)80027-0_bib157_2","series-title":"van Heijenhoort 1967","first-page":"414","author":"van Heijenoort","year":"1925"},{"key":"10.1016\/S1874-5857(06)80027-0_bib158","series-title":"Logics of Programs. Proceedings 1983","first-page":"313","article-title":"A decision procedure for the propositional \u03bc-calculus","author":"Kozen","year":"1984"},{"key":"10.1016\/S1874-5857(06)80027-0_bib159","series-title":"Handbook of Theoretical Computer Science","first-page":"789","article-title":"Logics of programs","author":"Kozen","year":"1990"},{"key":"10.1016\/S1874-5857(06)80027-0_bib160","series-title":"Automata, Languages and Programming. Ninth Colloquium 1982","first-page":"348","article-title":"Results on the propositional \u03bc-calculus","author":"Kozen","year":"1982"},{"key":"10.1016\/S1874-5857(06)80027-0_bib161","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","article-title":"Results on the propositional \u03bc,-calculus","volume":"27","author":"Kozen","year":"1983","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib162","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF00370554","article-title":"A finite model theorem for the propositional \u03bc-calculus","volume":"47","author":"Kozen","year":"1988","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80027-0_bib163","article-title":"Tools and Techniques in Modal Logic","author":"Kracht","year":"1999"},{"key":"10.1016\/S1874-5857(06)80027-0_bib164","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":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib165","first-page":"323","article-title":"Semantic analysis of modal logic (abstract)","volume":"24","author":"Kripke","year":"1959","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib166","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1002\/malq.19620080204","article-title":"The undecidability of monadic modal quantification theory","volume":"8","author":"Kripke","year":"1962","journal-title":"Zcitschrift f\u00fcr Mathematische Logik und Crundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(06)80027-0_bib167","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","article-title":"Semantical analysis of modal logic I. Normal modal propositional calculi","volume":"9","author":"Kripke","year":"1963","journal-title":"Zcitschrift f\u00fcr Mathematische Logik and Crundlagcn der Mathematik"},{"key":"10.1016\/S1874-5857(06)80027-0_bib168","first-page":"83","article-title":"Semantical considerations on modal logic","volume":"16","author":"Kripke","year":"1963","journal-title":"Ada Philosophica Fcnnica"},{"key":"10.1016\/S1874-5857(06)80027-0_bib169","series-title":"Formal Systems and Recursive Functions","first-page":"92","article-title":"Semantical analysis of intuitionistic logic I","author":"Kripke","year":"1965"},{"key":"10.1016\/S1874-5857(06)80027-0_bib170","series-title":"The Theory of Models","first-page":"200","article-title":"Semantical analysis of modal logic II. Non-normal modal propositional calculi","author":"Kripke","year":"1905"},{"key":"10.1016\/S1874-5857(06)80027-0_bib171","first-page":"1021","article-title":"Review of [Lemmon, 1966","volume":"34","author":"Kripke","year":"1967","journal-title":"Mathematical Reviews"},{"key":"10.1016\/S1874-5857(06)80027-0_bib172","doi-asserted-by":"crossref","DOI":"10.1016\/S1571-0661(04)00053-2","article-title":"Specifying coalgebras with modal logic","volume":"11","author":"Kurz","year":"1998","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib173","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0304-3975(00)00125-0","article-title":"Specifying coalgebras with modal logic","volume":"260","author":"Kurz","year":"2001","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib174","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1137\/0206033","article-title":"The computational complexity of provability in systems of modal propositional logic","volume":"6","author":"Ladner","year":"1977","journal-title":"SIAM Journal on Computing"},{"key":"10.1016\/S1874-5857(06)80027-0_bib175","first-page":"265","article-title":"Proof systems for satisfiability in Hennessy-Milner logic with recursion","volume":"72","author":"Larson","year":"1990","journal-title":"The oretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib176","first-page":"329","article-title":"Quantifiers and sheaves","volume":"1","author":"Lawvere","year":"1970","journal-title":"Actes des Congr\u00e8s International des Mathematiques"},{"key":"10.1016\/S1874-5857(06)80027-0_bib177","series-title":"Intonsional logic","author":"Lemmon","year":"1966"},{"key":"10.1016\/S1874-5857(06)80027-0_bib178","doi-asserted-by":"crossref","first-page":"176","DOI":"10.2307\/2964179","article-title":"New foundations for Lewis modal systems","volume":"22","author":"Lemmon","year":"1957","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib179","doi-asserted-by":"crossref","first-page":"46","DOI":"10.2307\/2270619","article-title":"Algebraic semantics for modal logics I","volume":"31","author":"Lemmon","year":"1966","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib180","doi-asserted-by":"crossref","first-page":"191","DOI":"10.2307\/2269810","article-title":"Algebraic semantics for modal logics II","volume":"31","author":"Lemmon","year":"1966","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib181","series-title":"American Philosophical Quarterly Monograph Series","article-title":"An Introduction to Modal Logic","author":"Lemmon","year":"1977"},{"key":"10.1016\/S1874-5857(06)80027-0_bib182","series-title":"Symbolic Logic","author":"Lewis","year":"1932"},{"key":"10.1016\/S1874-5857(06)80027-0_bib183","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1093\/mind\/XXI.84.522","article-title":"Implication and the algebra of logic","volume":"21","author":"Lewis","year":"1912","journal-title":"Mind (New Series)"},{"key":"10.1016\/S1874-5857(06)80027-0_bib184","series-title":"A Survey of Symbolic Logic","author":"Lewis","year":"1918"},{"key":"10.1016\/S1874-5857(06)80027-0_bib185","doi-asserted-by":"crossref","first-page":"115","DOI":"10.2307\/2266895","article-title":"Solution of a problem of Leon Henkin","volume":"20","author":"L\u00f6b","year":"1955","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib186","article-title":"The Possible and the Actual. Readings in the Metaphysics of Modality","year":"1979"},{"key":"10.1016\/S1874-5857(06)80027-0_bib187_1","first-page":"30","article-title":"Untersuchungen \u00fcber den aussagenkalk\u00fcl","volume":"23","author":"Lukasiewicz","year":"1930","journal-title":"Comptes Rendus des s\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie"},{"key":"10.1016\/S1874-5857(06)80027-0_bib187_2","first-page":"38","article-title":"Investigations into the Sentential Calculus","author":"Woodger","year":"1956"},{"issue":"3","key":"10.1016\/S1874-5857(06)80027-0_bib188","doi-asserted-by":"crossref","first-page":"707","DOI":"10.2307\/1969375","article-title":"The representation of relational algebras","volume":"51","author":"Lyndon","year":"1950","journal-title":"Annals of Mathematics"},{"key":"10.1016\/S1874-5857(06)80027-0_bib189","series-title":"Categories for the Working Mathematician","author":"Mac Lane","year":"1971"},{"key":"10.1016\/S1874-5857(06)80027-0_bib190","first-page":"54","article-title":"Symbolic Reasoning","volume":"5","author":"MacColl","year":"1880","journal-title":"Mind"},{"key":"10.1016\/S1874-5857(06)80027-0_bib191","series-title":"Symbolic Logic and its Applications","author":"MacColl","year":"1906"},{"key":"10.1016\/S1874-5857(06)80027-0_bib192","article-title":"An Algebraic Study of Modal Operators on Heyting Algebras, with Applications to Topology and Sheafification","author":"Macnab","year":"1976"},{"key":"10.1016\/S1874-5857(06)80027-0_bib193","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF02483860","article-title":"Modal operators on Hcyting algebras","volume":"12","author":"Macnab","year":"1981","journal-title":"Algebra Universalis"},{"key":"10.1016\/S1874-5857(06)80027-0_bib194","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1002\/malq.19660120131","article-title":"On some completeness theorems in modal logic","volume":"12","author":"Makinson","year":"1966","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(06)80027-0_bib195","doi-asserted-by":"crossref","first-page":"35","DOI":"10.2307\/2270978","article-title":"A normal modal calculus between T and S4 without the finite model property","volume":"34","author":"Makinson","year":"1969","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib196","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1111\/j.1755-2567.1970.tb00431.x","article-title":"A generalisation of the concept of relational model for modal logic","volume":"36","author":"Makinson","year":"1970","journal-title":"Theoria"},{"key":"10.1016\/S1874-5857(06)80027-0_bib197","doi-asserted-by":"crossref","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\/S1874-5857(06)80027-0_bib198","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/BF02259848","article-title":"Modal logics and varieties of modal algebras: The Beth properties, interpolation and amalgamation","volume":"31","author":"Maksimova","year":"1992","journal-title":"Algebra and Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib199","series-title":"Algebraic Theories","author":"Manes","year":"1976"},{"key":"10.1016\/S1874-5857(06)80027-0_bib200","series-title":"Multi-Dimensional Modal Logic","author":"Marx","year":"1997"},{"key":"10.1016\/S1874-5857(06)80027-0_bib201","series-title":"The Philosophy of Leibniz","author":"Mates","year":"1986"},{"key":"10.1016\/S1874-5857(06)80027-0_bib202","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\/S1874-5857(06)80027-0_bib203","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\/S1874-5857(06)80027-0_bib204","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\/S1874-5857(06)80027-0_bib205","doi-asserted-by":"crossref","DOI":"10.2307\/2268135","article-title":"Some theorems about the sentential calculi of Lewis and Heyting","volume":"13","author":"McKinsey","year":"1948","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib206","doi-asserted-by":"crossref","first-page":"117","DOI":"10.2307\/2267105","article-title":"A solution of the decision problem for the Lewis systems S2 and S4 with an application to topology","volume":"6","author":"McKinsey","year":"1941","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib207","doi-asserted-by":"crossref","first-page":"83","DOI":"10.2307\/2267027","article-title":"On the syntactical construction of systems of modal logic","volume":"10","author":"McKinsey","year":"1945","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib208","series-title":"Mimeograph, Department of Philosophy","article-title":"Interpretations of different modal logics in the \u2018property calculus\u2019","author":"Meredith","year":"1956"},{"key":"10.1016\/S1874-5857(06)80027-0_bib209","series-title":"Logic Colloquium. Symposium on Logic Held at Boston, 1972-73","first-page":"132","article-title":"Weak monadic second order theory of successor is not elementary-recursive","author":"Meyer","year":"1975"},{"key":"10.1016\/S1874-5857(06)80027-0_bib210","doi-asserted-by":"crossref","DOI":"10.1016\/0304-3975(93)90156-N","article-title":"Modal logics for mobile processes","volume":"114","author":"Milner","year":"1993","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib211","series-title":"Proceedings of the Second International Joint Conference on Artificial Intelligence","first-page":"481","article-title":"An algebraic notion of simulation between programs","author":"Milner","year":"1971"},{"key":"10.1016\/S1874-5857(06)80027-0_bib212","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","article-title":"A Calculus of Communicating Systems","author":"Milner","year":"1980"},{"key":"10.1016\/S1874-5857(06)80027-0_bib213","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","article-title":"Calculi for synchrony and asynchrony","volume":"25","author":"Milner","year":"1983","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib214","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/S1874-5857(06)80027-0_bib215","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","article-title":"Notions of computation and monads","volume":"93","author":"Moggi","year":"1991","journal-title":"Information and Computation"},{"key":"10.1016\/S1874-5857(06)80027-0_bib216","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1080\/00201746008601312","article-title":"Logical necessity, physical necessity, ethics, and quantifiers","volume":"3","author":"Montague","year":"1960","journal-title":"Inquiry"},{"key":"10.1016\/S1874-5857(06)80027-0_bib217","series-title":"Contemporary Philosophy: A Survey","first-page":"102","article-title":"Pragmatics","author":"Montague","year":"1968"},{"key":"10.1016\/S1874-5857(06)80027-0_bib218","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/BF00413599","article-title":"Pragmatics and intensional logic","volume":"22","author":"Montague","year":"1970","journal-title":"Synth\u00e8se"},{"key":"10.1016\/S1874-5857(06)80027-0_bib219","article-title":"Formal Philosophy (Selected Papers)","author":"Montague","year":"1974"},{"key":"10.1016\/S1874-5857(06)80027-0_bib220","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0168-0072(98)00042-6","article-title":"Coalgebraic logic","volume":"96","author":"Moss","year":"1999","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib221","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/BF00286492","article-title":"Descriptively complete process logic","volume":"14","author":"Nishimura","year":"1980","journal-title":"Acta Informatica"},{"key":"10.1016\/S1874-5857(06)80027-0_bib222","first-page":"711","article-title":"Incompleteness of semantics for intermediate predicate logics i Kripke's semantics","volume":"49","author":"Ono","year":"1973"},{"key":"10.1016\/S1874-5857(06)80027-0_bib223","series-title":"Mathematical Foundations of Computer Science 1978","first-page":"403","article-title":"The completeness of propositional dynamic logic","author":"Parikh","year":"1978"},{"key":"10.1016\/S1874-5857(06)80027-0_bib224","series-title":"Proceedings of the 19th Annual IEEE Symposium on Foundations of Computer Science","first-page":"177","article-title":"A decidability result for second order process logic","author":"Parikh","year":"1978"},{"key":"10.1016\/S1874-5857(06)80027-0_bib225","series-title":"Machine Intelligence 5","first-page":"59","article-title":"Fixpoint induction and proofs of program properties","author":"Park","year":"1969"},{"key":"10.1016\/S1874-5857(06)80027-0_bib226","series-title":"Theoretical Computer Science","first-page":"167","article-title":"Concurrency and automata on infinite sequences","author":"Park","year":"1981"},{"key":"10.1016\/S1874-5857(06)80027-0_bib227","series-title":"Proceedings of the 18th Annual IEEE Symposium on Foundations of Computer Science","first-page":"46","article-title":"The temporal logic of programs","author":"Pnueli","year":"1977"},{"key":"10.1016\/S1874-5857(06)80027-0_bib228","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0304-3975(81)90110-9","article-title":"The temporal semantics of concurrent programs","volume":"13","author":"Pnueli","year":"1981","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib229","series-title":"Modal Logic and Process Algebra: a Bisimulation Perspective","year":"1995"},{"key":"10.1016\/S1874-5857(06)80027-0_bib230","series-title":"Proceedings of the 17th Annual IEEE Symposium on Foundations of Computer Science","first-page":"109","article-title":"Semantical considerations on Floyd-Hoare logic","author":"Pratt","year":"1976"},{"key":"10.1016\/S1874-5857(06)80027-0_bib231","series-title":"Proceedings of the 6th Annual ACM Symposium on Principles of Programming Languages","first-page":"93","article-title":"Process logic Preliminary report","author":"Pratt","year":"1979"},{"key":"10.1016\/S1874-5857(06)80027-0_bib232","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF00370324","article-title":"Application of modal logic to programming","volume":"39","author":"Pratt","year":"1980","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80027-0_bib233","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0022-0000(80)90061-6","article-title":"A near-optimal method for reasoning about action","volume":"20","author":"Pratt","year":"1980","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S1874-5857(06)80027-0_bib234","series-title":"Proceedings of the 22nd Annual IEEE Symposium on Foundations of Computer Science","first-page":"421","article-title":"A decidable mu-calculus: Preliminary report","author":"Pratt","year":"1981"},{"key":"10.1016\/S1874-5857(06)80027-0_bib235","series-title":"Worlds, Times and Selves","author":"Prior","year":"1977"},{"issue":"1","key":"10.1016\/S1874-5857(06)80027-0_bib236","doi-asserted-by":"crossref","first-page":"60","DOI":"10.2307\/2268488","article-title":"Modality and quantification in S5","volume":"21","author":"Prior","year":"1956","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib237","series-title":"Time and Modality","author":"Prior","year":"1957"},{"key":"10.1016\/S1874-5857(06)80027-0_bib238","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1353\/frc.1958.0008","article-title":"The syntax of time-distinctions","volume":"18","author":"Prior","year":"1958","journal-title":"Franciscan Studies"},{"key":"10.1016\/S1874-5857(06)80027-0_bib239","doi-asserted-by":"crossref","first-page":"36","DOI":"10.2307\/2216837","article-title":"Possible worlds","volume":"12","author":"Prior","year":"1962","journal-title":"Philosophical Quarterly"},{"key":"10.1016\/S1874-5857(06)80027-0_bib240","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF02317267","article-title":"Tense-logic and the continuity of time","volume":"13","author":"Prior","year":"1962","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80027-0_bib241","series-title":"Past, Present and Future","author":"Prior","year":"1967"},{"key":"10.1016\/S1874-5857(06)80027-0_bib242","doi-asserted-by":"crossref","first-page":"43","DOI":"10.2307\/2267247","article-title":"The problem of interpreting modal logic","volume":"12","author":"Quine","year":"1947","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib243","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"},{"issue":"1","key":"10.1016\/S1874-5857(06)80027-0_bib244","first-page":"59","article-title":"Hugh MacColl and the algebra of strict implication","volume":"3","author":"Read","year":"1998","journal-title":"Nordic Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib245","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1017\/S0960129500000694","article-title":"An approach to object semantics based on terminal co-algebras","volume":"5","author":"Reichel","year":"1995","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib246","series-title":"Temporal Logic","author":"Rescher","year":"1971"},{"issue":"3","key":"10.1016\/S1874-5857(06)80027-0_bib247","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.2307\/2695091","article-title":"An axiomatization of full computation tree logic","volume":"66","author":"Reynolds","year":"2001","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib248","article-title":"From modal logic to terminal coalgebras","author":"R\u00f6\u03b2iger","year":"1998"},{"key":"10.1016\/S1874-5857(06)80027-0_bib249","article-title":"Coalgebras and modal logic","volume":"33","author":"R\u00f6\u03b2iger","year":"2000","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib250","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0304-3975(00)00128-6","article-title":"From modal logic to terminal coalgebras","volume":"260","author":"R\u00f6\u03b2iger","year":"2001","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib251","series-title":"Paper read to the Oxford Philosophical Society on 22 October 1905","first-page":"507","article-title":"Necessity and possibility, 1905","volume":"Volume 4","author":"Russell","year":"1994"},{"key":"10.1016\/S1874-5857(06)80027-0_bib252","series-title":"Semantics: Foundations and Applications, REX Workshop","first-page":"477","article-title":"On the foundations of final semantics: Non-standard sets, metric spaces, partial orders","author":"Rutten","year":"1993"},{"key":"10.1016\/S1874-5857(06)80027-0_bib253","series-title":"Modal Logic and Process Algebra","first-page":"231","article-title":"A calculus of transition systems (towards universal coalgebra)","author":"Rutten","year":"1995"},{"key":"10.1016\/S1874-5857(06)80027-0_bib254","article-title":"Universal coalgebra: a theory of systems","author":"Rutten","year":"1996"},{"issue":"1","key":"10.1016\/S1874-5857(06)80027-0_bib255","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","article-title":"Universal coalgebra: a theory of systems","volume":"249","author":"Rutten","year":"2000","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib256","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\/S1874-5857(06)80027-0_bib257","doi-asserted-by":"crossref","first-page":"992","DOI":"10.2307\/2274758","article-title":"A new proof of Sahlqvist's theorem on modal definability and completeness","volume":"54","author":"Sambin","year":"1989","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib258","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0022-0000(70)80006-X","article-title":"Relationships between nondeterministic and deterministic tape complexities","volume":"4","author":"Savitch","year":"1970","journal-title":"Journal of Computer and Systems Sciences"},{"key":"10.1016\/S1874-5857(06)80027-0_bib259","series-title":"Philosophical Problems in Logic","first-page":"143","article-title":"Advice on modal logic","author":"Scott","year":"1970"},{"key":"10.1016\/S1874-5857(06)80027-0_bib260","doi-asserted-by":"crossref","first-page":"112","DOI":"10.2307\/2266683","article-title":"Extensions of the Lewis system S5","volume":"16","author":"Joe Scroggs","year":"1951","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib261","doi-asserted-by":"crossref","DOI":"10.1111\/j.1755-2567.1968.tb00335.x","article-title":"Decidability of S4.1","volume":"34","author":"Segerberg","year":"1968","journal-title":"Theoria"},{"key":"10.1016\/S1874-5857(06)80027-0_bib262","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1111\/j.1755-2567.1968.tb00337.x","article-title":"Propositional logics related to Heyting's and Johansson's","volume":"34","author":"Segerberg","year":"1968","journal-title":"Theoria"},{"key":"10.1016\/S1874-5857(06)80027-0_bib263","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\/S1874-5857(06)80027-0_bib264","article-title":"An Essay in Classical Modal Logic","author":"Segerberg","year":"1971"},{"key":"10.1016\/S1874-5857(06)80027-0_bib265","article-title":"Franz\u00e9n's proof of Bull's theorem","volume":"35","author":"Segerberg","year":"1973","journal-title":"Ajatus"},{"key":"10.1016\/S1874-5857(06)80027-0_bib266","series-title":"Proceedings of the Third Scandinavian Logic Symposium","first-page":"194","article-title":"That every extension of S4.3 is normal","author":"Segerberg","year":"1975"},{"key":"10.1016\/S1874-5857(06)80027-0_bib267","first-page":"A","article-title":"A completeness theorem in the modal logic of programs","volume":"24","author":"Segerberg","year":"1977","journal-title":"Notices of the American Mathematical Society"},{"key":"10.1016\/S1874-5857(06)80027-0_bib268","series-title":"Universal Algebra and Applications. Papers presented at the seminar held at the Stefan Banach International Mathematical Center, 1978","first-page":"31","article-title":"A completeness theorem in the modal logic of programs","author":"Segerberg","year":"1982"},{"key":"10.1016\/S1874-5857(06)80027-0_bib269","first-page":"985","article-title":"On incomplete propositional logics","volume":"18","author":"\u0160ehtman","year":"1977","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/S1874-5857(06)80027-0_bib270","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF01418760","article-title":"Modal logics of domains on the real plane","volume":"42","author":"Shehtman","year":"1983","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(06)80027-0_bib271","series-title":"Mathematical Logic","author":"Shoenfield","year":"1967"},{"key":"10.1016\/S1874-5857(06)80027-0_bib272","article-title":"The Proof Theory and Semantics of Intuitionistic Modal Logics","author":"Simpson","year":"1994"},{"key":"10.1016\/S1874-5857(06)80027-0_bib273","series-title":"Self-Reference and Modal Logic","author":"Smory\u0144ski","year":"1985"},{"key":"10.1016\/S1874-5857(06)80027-0_bib274","series-title":"Perspectives on the History of Mathematical Logic","first-page":"110","article-title":"The development of self-reference: L\u00f6b's theorem","author":"Smory\u0144ski","year":"1991"},{"key":"10.1016\/S1874-5857(06)80027-0_bib275","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1305\/ndjfl\/1093957741","article-title":"Remarks about axiomatizations of certain modal systems","volume":"5","author":"Soboci\u0144ski","year":"1964","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib276","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","article-title":"Provability interpretations of modal logic","volume":"25","author":"Solovay","year":"1976","journal-title":"Israel Journal of Mathematics"},{"key":"10.1016\/S1874-5857(06)80027-0_bib277","article-title":"Complexity of Modal Logics","author":"Spaan","year":"1993"},{"key":"10.1016\/S1874-5857(06)80027-0_bib278","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0304-3975(87)90012-0","article-title":"Modal logics for communicating systems","volume":"49","author":"Stirling","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib279","first-page":"477","article-title":"Modal and temporal logics","volume":"Volume 2","author":"Stirling","year":"1992"},{"key":"10.1016\/S1874-5857(06)80027-0_bib280","first-page":"37","article-title":"The theory of representations for Boolean algebras","volume":"40","author":"Stone","year":"1936","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/S1874-5857(06)80027-0_bib281","first-page":"1","article-title":"Topological representations of distributive lattices and Brouwerian logics","volume":"67","author":"Stone","year":"1937","journal-title":"Casopis pro Pestovani Matematiky a Fysiky"},{"key":"10.1016\/S1874-5857(06)80027-0_bib282","series-title":"Automata, Languages and Programming Proceedings 1984","first-page":"465","article-title":"The propositional mucalculus is elementary","author":"Streett","year":"1984"},{"key":"10.1016\/S1874-5857(06)80027-0_bib283","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":"Streett","year":"1989","journal-title":"Information and Computation"},{"key":"10.1016\/S1874-5857(06)80027-0_bib284","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0019-9958(82)91258-X","article-title":"Propositional dynamic logic of looping and converse is elementarily decidable","volume":"54","author":"Streett","year":"1982","journal-title":"Information and Control"},{"key":"10.1016\/S1874-5857(06)80027-0_bib285","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1090\/S0002-9904-1938-06860-7","article-title":"Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication","volume":"44","author":"Tang","year":"1938","journal-title":"Bulletin of the American Mathematical Society"},{"key":"10.1016\/S1874-5857(06)80027-0_bib286_1","doi-asserted-by":"crossref","first-page":"103","DOI":"10.4064\/fm-31-1-103-134","article-title":"Der aussagcnkalk\u00fcl und die topologic","volume":"31","author":"Tarski","year":"1938","journal-title":"Fundamenta Mathematicae"},{"key":"10.1016\/S1874-5857(06)80027-0_bib286_2","first-page":"421","article-title":"Der aussagcnkalk\u00fcl und die topologic","author":"Woodger","year":"1956","journal-title":"Sentential Calculus and Topology in Tarski"},{"key":"10.1016\/S1874-5857(06)80027-0_bib287","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","article-title":"On the calculus of relations","volume":"6","author":"Tarski","year":"1941","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib288","doi-asserted-by":"crossref","first-page":"163","DOI":"10.2307\/1969039","article-title":"A remark on functionally free algebras","volume":"47","author":"Tarski","year":"1946","journal-title":"Annals of Mathematics"},{"key":"10.1016\/S1874-5857(06)80027-0_bib289_1","first-page":"56","article-title":"Contributions to the theory of models III","volume":"58","author":"Tarski","year":"1955"},{"key":"10.1016\/S1874-5857(06)80027-0_bib289_2","volume":"vol. 17","year":"1955","journal-title":"Indagationes Mathematicae"},{"key":"10.1016\/S1874-5857(06)80027-0_bib290","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\/S1874-5857(06)80027-0_bib291","article-title":"Logic, Semantics, Metamathematics: Papers from 1923 to 1938","author":"Tarski","year":"1956"},{"key":"10.1016\/S1874-5857(06)80027-0_bib292","series-title":"Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency","first-page":"690","article-title":"Computation tree logic and regular \u03c9-languages","author":"Thomas","year":"1989"},{"key":"10.1016\/S1874-5857(06)80027-0_bib293","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":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib294","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":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib295","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\/S1874-5857(06)80027-0_bib296","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":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib297","doi-asserted-by":"crossref","first-page":"439","DOI":"10.2307\/2272167","article-title":"Categories of frames for modal logic","volume":"40","author":"Thomason","year":"1975","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib298","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 Mathematische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1874-5857(06)80027-0_bib299","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\/S1874-5857(06)80027-0_bib300","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1111\/j.1755-2567.1975.tb00555.x","article-title":"Reduction of tense logic to modal logic II","volume":"41","author":"Thomason","year":"1975","journal-title":"Theoria"},{"key":"10.1016\/S1874-5857(06)80027-0_bib301","series-title":"Toposes, Algebraic Geometry and Logic","first-page":"13","article-title":"Sheaf theory and the continuum hypothesis","author":"Ticrney","year":"1972"},{"key":"10.1016\/S1874-5857(06)80027-0_bib302","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"},{"issue":"1","key":"10.1016\/S1874-5857(06)80027-0_bib303","doi-asserted-by":"crossref","first-page":"55","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\/S1874-5857(06)80027-0_bib304","article-title":"Modal Correspondence Theory","author":"van Benthem","year":"1976"},{"key":"10.1016\/S1874-5857(06)80027-0_bib305","doi-asserted-by":"crossref","first-page":"436","DOI":"10.2307\/2272242","article-title":"Modal formulas are either elementary or not \u03a3\u0394-elementary","volume":"41","author":"van Benthem","year":"1976","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80027-0_bib306","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\/S1874-5857(06)80027-0_bib307","first-page":"67","article-title":"Syntactic aspects of modal incompleteness theorems","volume":"45","author":"van Benthem","year":"1979","journal-title":"Theoria"},{"key":"10.1016\/S1874-5857(06)80027-0_bib308","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\/S1874-5857(06)80027-0_bib309","series-title":"Modal Logic and Classical Logic","author":"van Benthem","year":"1983"},{"key":"10.1016\/S1874-5857(06)80027-0_bib310","series-title":"Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic","first-page":"167","article-title":"Correspondence theory","author":"van Benthem","year":"1984"},{"key":"10.1016\/S1874-5857(06)80027-0_bib311","series-title":"Proceedings of the 17th Annual ACM Symposiumon the Theory of Computing","first-page":"240","article-title":"Improved upper and lower bounds for modal logics of programs","author":"Vardi","year":"1985"},{"key":"10.1016\/S1874-5857(06)80027-0_bib312","series-title":"An Essay in Modal Logic","author":"von Wright","year":"1951"},{"key":"10.1016\/S1874-5857(06)80027-0_bib313","series-title":"Proceedings of the Tenth Annual IEEE Symposium on Logic in Computer Science","first-page":"14","article-title":"Completeness of Kozen's axiomatisation of the propositional \u03bc-calculus","author":"Walukiewicz","year":"1995"},{"key":"10.1016\/S1874-5857(06)80027-0_bib314","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1006\/inco.1999.2836","article-title":"Completeness of Kozen's axiomatisation of the propositional \u03bc-calculus","volume":"157","author":"Walukiewicz","year":"2000","journal-title":"Information and Computation"},{"key":"10.1016\/S1874-5857(06)80027-0_bib315","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0304-3975(85)90037-4","article-title":"On powerdomains and modality","volume":"36","author":"Winskel","year":"1985","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1874-5857(06)80027-0_bib316","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1016\/S0019-9958(83)80051-5","article-title":"Temporal logic can be more expressive","volume":"56","author":"Wolper","year":"1983","journal-title":"Information and Control"}],"container-title":["Handbook of the History of Logic","Logic and the Modalities in the Twentieth Century"],"original-title":[],"language":"en","deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T20:47:10Z","timestamp":1708202830000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1874585706800270"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9780444516220"],"references-count":323,"URL":"https:\/\/doi.org\/10.1016\/s1874-5857(06)80027-0","relation":{},"ISSN":["1874-5857"],"issn-type":[{"value":"1874-5857","type":"print"}],"subject":[],"published":{"date-parts":[[2006]]}}}