{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T21:57:38Z","timestamp":1767650258974,"version":"build-2065373602"},"reference-count":110,"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)80009-7","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T09:38:50Z","timestamp":1191490730000},"page":"331-426","source":"Crossref","is-referenced-by-count":60,"title":["6 Algebras and coalgebras"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1570-2464(07)80009-7_bib1","unstructured":"S. Abramsky. A Cook's Tour of the Finitary Non-Well-Founded Sets, 1988. Invited Lecture at BCTCS."},{"year":"1988","series-title":"Non-well-founded sets, volume 14 of CSLI Lecture Notes","author":"Aczel","key":"10.1016\/S1570-2464(07)80009-7_bib2"},{"key":"10.1016\/S1570-2464(07)80009-7_bib3","series-title":"Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science","article-title":"A final coalgebra theorem","author":"Aczel","year":"1989"},{"year":"2004","series-title":"Coalgebraic Methods in Computer Science (CMCS'04), volume ?? of Electronic Notes in Theoretical Computer Science","key":"10.1016\/S1570-2464(07)80009-7_bib4"},{"key":"10.1016\/S1570-2464(07)80009-7_bib5","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0304-3975(95)00011-K","article-title":"On the greatest fixed point of a set functor","volume":"150","author":"Ad\u00e1mek","year":"1995","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1570-2464(07)80009-7_bib6","unstructured":"[6] J. Ad\u00e1mek and H.-E. Porst. From varieties of algebras to covarieties of coalgebras. In Corradini et al. [20]."},{"key":"10.1016\/S1570-2464(07)80009-7_bib7","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1004275029985","article-title":"Modal languages and bounded fragments of predicate logic","volume":"27","author":"Andr\u00e9ka","year":"1998","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1570-2464(07)80009-7_bib8","unstructured":"[8] A. Baltag. A logic for coalgebraic simulation. In Reichel [93]."},{"issue":"2","key":"10.1016\/S1570-2464(07)80009-7_bib9","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\/S1570-2464(07)80009-7_bib10","series-title":"Reports of the Midwest Category Seminar IV, volume 137 of Lecture Notes in Mathematics","article-title":"Relational algebras","author":"Barr","year":"1997"},{"year":"1996","series-title":"Vicious Circles, volume 60 of CSLI Lecture Notes","author":"Barwise","key":"10.1016\/S1570-2464(07)80009-7_bib11"},{"year":"1967","series-title":"Lattice Theory","author":"Birkhoff","key":"10.1016\/S1570-2464(07)80009-7_bib12"},{"year":"2001","series-title":"Modal Logic","author":"Blackburn","key":"10.1016\/S1570-2464(07)80009-7_bib13"},{"article-title":"Varieties of Interior Algebras","year":"1976","author":"Blok","key":"10.1016\/S1570-2464(07)80009-7_bib14"},{"key":"10.1016\/S1570-2464(07)80009-7_bib15","doi-asserted-by":"crossref","first-page":"221","DOI":"10.2307\/2273184","article-title":"The lattice of modal algebras: An algebraic investigation","volume":"45","author":"Blok","year":"1980","journal-title":"Journal of Symbolic Logic"},{"issue":"396","key":"10.1016\/S1570-2464(07)80009-7_bib16","doi-asserted-by":"crossref","DOI":"10.1090\/memo\/0396","article-title":"Algebraizable logics","volume":"77","author":"Blok","year":"1989","journal-title":"Memoirs of the American Mathematical Society"},{"year":"1981","author":"Burris","key":"10.1016\/S1570-2464(07)80009-7_bib17"},{"key":"10.1016\/S1570-2464(07)80009-7_bib18","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1002\/malq.19860321307","article-title":"Embedding Boolean structures into atomic Boolean structures","volume":"32","author":"Buszkowski","year":"1986","journal-title":"Zeitschrift f\u00fcr mathemathische Logik und Grundlagen der Mathematik"},{"article-title":"A 2-categorical approach to change of base and geometric morphisms I","year":"1990","author":"Carboni","key":"10.1016\/S1570-2464(07)80009-7_bib19"},{"year":"2001","series-title":"Coalgebraic Methods in Computer Science(CMCS'01), volume 44 of Electronic Notes in Theoretical Computer Science","key":"10.1016\/S1570-2464(07)80009-7_bib20"},{"key":"10.1016\/S1570-2464(07)80009-7_bib21","series-title":"Trends in Logic. Kluwer Academic Press","article-title":"Protoalgebraic Logic","author":"Czelakowski","year":"2001"},{"key":"10.1016\/S1570-2464(07)80009-7_bib22","doi-asserted-by":"crossref","first-page":"34","DOI":"10.4153\/CJM-1959-003-9","article-title":"Graph theory and probability","volume":"11","author":"Erd\u00f3s","year":"1959","journal-title":"Canadian Journal of Mathematics"},{"key":"10.1016\/S1570-2464(07)80009-7_bib23","first-page":"147","article-title":"Topological Kripke models","volume":"15","author":"Esakia","year":"1974","journal-title":"Soviet Mathematics Doklady"},{"key":"10.1016\/S1570-2464(07)80009-7_bib24","series-title":"Proceedingsof the USSR Symposium on Logical Inference","first-page":"147","article-title":"To the theory of modal and superintuitionistic systems","author":"Esakia","year":"1979"},{"key":"10.1016\/S1570-2464(07)80009-7_bib25","unstructured":"[25] K. Fine. Some connections between elementary and modal logic. In Kanger [71]."},{"key":"10.1016\/S1570-2464(07)80009-7_bib26","series-title":"Lecture Notes in Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21591-3_2","article-title":"A general algebraic semantics for sentential logics","author":"Font","year":"1996"},{"key":"10.1016\/S1570-2464(07)80009-7_bib27","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1002\/malq.19910370103","article-title":"The order structure of Stone spaces and the TD-separation axiom","volume":"37","author":"Gehrke","year":"1991","journal-title":"Zeitschrift f\u00fcr math- emathische Logik und Grundlagen der Mathematik"},{"key":"10.1016\/S1570-2464(07)80009-7_bib28","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1006\/jabr.2000.8622","article-title":"Bounded lattice expansions","volume":"238","author":"Gehrke","year":"2001","journal-title":"Journal of Algebra"},{"key":"10.1016\/S1570-2464(07)80009-7_bib29","unstructured":"M. Gehrke, J. Harding, and Y. Venema. MacNeille completions and canonical extensions. Transac- tions of the American Mathematical Society, to appear."},{"key":"10.1016\/S1570-2464(07)80009-7_bib30","first-page":"207","article-title":"Bounded distributive lattices with operators","volume":"40","author":"Gehrke","year":"1994","journal-title":"Mathematica Japonica"},{"key":"10.1016\/S1570-2464(07)80009-7_bib31","first-page":"197","article-title":"Monotone bounded distributive lattices expansions","volume":"52","author":"Gehrke","year":"2000","journal-title":"Mathematica Japon-ica"},{"key":"10.1016\/S1570-2464(07)80009-7_bib32","doi-asserted-by":"crossref","first-page":"3","DOI":"10.7146\/math.scand.a-14428","article-title":"Bounded distributive lattice expansions","volume":"94","author":"Gehrke","year":"2004","journal-title":"Mathematica Scandinavica"},{"key":"10.1016\/S1570-2464(07)80009-7_bib33","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0168-0072(93)E0084-2","article-title":"An algebraic theory of normal forms","volume":"71","author":"Ghilardi","year":"1995","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80009-7_bib34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0168-0072(96)00048-6","article-title":"Constructive canonicity in non-classical logics","volume":"86","author":"Ghilardi","year":"1997","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80009-7_bib35","doi-asserted-by":"crossref","first-page":"575","DOI":"10.2307\/2586485","article-title":"Universal classes of simple relation algebras","volume":"64","author":"Givant","year":"1999","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80009-7_bib36","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/s000120050100","article-title":"The preservations of Sahlqvist equations in completions of Boolean algebras with operators","volume":"41","author":"Givant","year":"1999","journal-title":"Algebra Universalis"},{"key":"10.1016\/S1570-2464(07)80009-7_bib37","first-page":"41","article-title":"Metamathematics of modal logic I","volume":"6","author":"Goldblatt","year":"1976","journal-title":"Reports on Mathematical Logic"},{"key":"10.1016\/S1570-2464(07)80009-7_bib38","first-page":"21","article-title":"Metamathematics of modal logic II","volume":"7","author":"Goldblatt","year":"1976","journal-title":"Reports on Mathematical Logic"},{"key":"10.1016\/S1570-2464(07)80009-7_bib39","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0168-0072(89)90032-8","article-title":"Varieties of complex algebras","volume":"38","author":"Goldblatt","year":"1989","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/S1570-2464(07)80009-7_bib40","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\/S1570-2464(07)80009-7_bib41","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\/S1570-2464(07)80009-7_bib42","unstructured":"R. Goldblatt. A calculus of terms for coalgebras of polynomial functors. In Corradini et al. [20]."},{"key":"10.1016\/S1570-2464(07)80009-7_bib43","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\/S1570-2464(07)80009-7_bib44","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/S1570-8683(03)00008-9","article-title":"Mathematical modal logic: a view of its evolution","volume":"1","author":"Goldblatt","year":"2003","journal-title":"Journal of Applied Logic"},{"key":"10.1016\/S1570-2464(07)80009-7_bib45","unstructured":"R. Goldblatt. Final coalgebras and the hennessy-milner property. Annals of Pure and Applied Logic, to appear."},{"key":"10.1016\/S1570-2464(07)80009-7_bib46","doi-asserted-by":"crossref","first-page":"186","DOI":"10.2178\/bsl\/1082986262","article-title":"Erd\u00f3s graphs resolve Fine's canonicity problem","volume":"10","author":"Goldblatt","year":"2004","journal-title":"Bulletin of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80009-7_bib47","series-title":"Algebra and Logic","first-page":"163","article-title":"Axiomatic classes in propositional modal logic","author":"Goldblatt","year":"1974"},{"key":"10.1016\/S1570-2464(07)80009-7_bib48","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","article-title":"Using the universal modality: Gains and questions","volume":"2","author":"Goranko","year":"1992","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1570-2464(07)80009-7_bib49","first-page":"221","article-title":"Sahlqvist formulas unleashed in polyadic modal languages","volume":"3","author":"Goranko","year":"2002"},{"key":"10.1016\/S1570-2464(07)80009-7_bib50","unstructured":"H. Peter Gumm. Elements of the general theory of coalgebras, 1999. Lecture Notes for LUATCS'99, Rand Africaans University, Johannesburg; available from http:\/\/www.mathemat ik.uni-marburg.de\/~gumm\/."},{"key":"10.1016\/S1570-2464(07)80009-7_bib51","first-page":"159","article-title":"Birkhoffs variety theorem for coalgebras","volume":"13","author":"Peter Gumm","year":"2000","journal-title":"Contributions to General Algebra"},{"year":"2003","series-title":"Coalgebraic Methods in Computer Science (CMCS'03), volume 82 of Elec- tronic Notes in Theoretical Computer Science","key":"10.1016\/S1570-2464(07)80009-7_bib52"},{"key":"10.1016\/S1570-2464(07)80009-7_bib53","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/S0304-3975(00)00123-7","article-title":"Covarieties and complete covarieties","volume":"260","author":"Peter Gumm","year":"2001","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1570-2464(07)80009-7_bib54","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1017\/S0960129501003590","article-title":"Coalgebras of bounded type","volume":"12","author":"Peter Gumm","year":"2002","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S1570-2464(07)80009-7_bib55","unstructured":"H. Hansen and C. Kupke. A coalgebraic perspective on monotone modal logic. In Ad\u00e1mek [4]."},{"key":"10.1016\/S1570-2464(07)80009-7_bib56","first-page":"85","article-title":"Canonical completions of lattices and ortholattices","volume":"15","author":"Harding","year":"1998","journal-title":"Tatra Mountains Mathematical Publications"},{"year":"1971","series-title":"Cylindric Algebras. Part 1. Part 2","author":"Henkin","key":"10.1016\/S1570-2464(07)80009-7_bib57"},{"article-title":"Relation Algebras by Games","year":"2002","author":"Hirsch","key":"10.1016\/S1570-2464(07)80009-7_bib58"},{"article-title":"Definability and Interpolation. Model-theoretic investigations","year":"2001","author":"Hoogland","key":"10.1016\/S1570-2464(07)80009-7_bib59"},{"year":"2003","series-title":"Allgemeine Algebra. Mit einem Anhang \u00fcber Universelle Coalgebra von H. P. Gumm, volume 10 of Berliner Studienreihe zur Mathematik","author":"Ihringer","key":"10.1016\/S1570-2464(07)80009-7_bib60"},{"key":"10.1016\/S1570-2464(07)80009-7_bib61","first-page":"83","article-title":"Objects and classes, coalgebraically","volume":"44","author":"Jacobs","year":"1997"},{"issue":"1","key":"10.1016\/S1570-2464(07)80009-7_bib62","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1051\/ita:2001108","article-title":"Many-sorted coalgebraic modal logic: a model-theoretic study","volume":"35","author":"Jacobs","year":"2001","journal-title":"Theoretical Informatics and Applications"},{"key":"10.1016\/S1570-2464(07)80009-7_bib63","series-title":"Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, volume 44 of Lecture Notes in Computer Science","first-page":"237","article-title":"Exercises in coalgebraic specification","author":"Jacobs","year":"2002"},{"key":"10.1016\/S1570-2464(07)80009-7_bib64","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1017\/S096012950200378X","article-title":"The temporal logic of coalgebras via Galois algebras","volume":"12","author":"Jacobs","year":"2002","journal-title":"Mathematical Structure in Computer Science"},{"key":"10.1016\/S1570-2464(07)80009-7_bib65","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"},{"year":"1999","series-title":"Coalgebraic Methods in Computer Science (CMCS'00), volume 19 of Electronic Notes in Theoretical Computer Science","key":"10.1016\/S1570-2464(07)80009-7_bib66"},{"key":"10.1016\/S1570-2464(07)80009-7_bib67","series-title":"Algebraic Methods in Logic and Computer Science, volume 28 of Banach Center Publications","first-page":"239","article-title":"Discriminator varieties of Boolean algebras with residuated operators","author":"Jipsen","year":"1993"},{"year":"1982","series-title":"Stone Spaces, volume 3 of Cambridge Studies in Advanced Mathematics","author":"Johnstone","key":"10.1016\/S1570-2464(07)80009-7_bib68"},{"key":"10.1016\/S1570-2464(07)80009-7_bib69","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/BF01057646","article-title":"On the canonicity of Sahlqvist identities","volume":", 4","author":"J\u00f3nsson","year":"1994","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80009-7_bib70","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","article-title":"Boolean algebras with operators, Part I","volume":"73","author":"J\u00f3nsson","year":"1952","journal-title":"American Journal of Mathematics"},{"year":"1975","series-title":"Proceedings of the Third Scandinavian Logic Symposium","key":"10.1016\/S1570-2464(07)80009-7_bib71"},{"year":"1999","series-title":"Tools and Techniques in Modal Logic","author":"Kracht","key":"10.1016\/S1570-2464(07)80009-7_bib72"},{"key":"10.1016\/S1570-2464(07)80009-7_bib73","unstructured":"C. Kupke, A. Kurz, and D. Pattinson. Algebraic semantics for coalgebraic logics. In Ad\u00e1mek [4]"},{"key":"10.1016\/S1570-2464(07)80009-7_bib74","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/j.tcs.2004.07.023","article-title":"Stone coalgebras","volume":"327","author":"Kupke","year":"2004","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1570-2464(07)80009-7_bib75","unstructured":"A. Kurz. Coalgebras and modal logic, 1999. Lecture Notes for ESSLLI'01; available from http:\/\/www.folli.uva.nl\/CD\/2001\/courses\/readers\/K40.pdf."},{"key":"10.1016\/S1570-2464(07)80009-7_bib76","article-title":"A co-variety-theorem for modal logic","volume":"Volume 2","author":"Kurz","year":"2000"},{"key":"10.1016\/S1570-2464(07)80009-7_bib77","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\/S1570-2464(07)80009-7_bib78","series-title":"Mathematical Structures in Computer Science","article-title":"Coalgebraic modal logic of finite rank","author":"Kurz","year":"2002"},{"key":"10.1016\/S1570-2464(07)80009-7_bib79","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF01110627","article-title":"A fixpoint theorem for complete categories","volume":"103","author":"Lambek","year":"1968","journal-title":"Mathematische Zeitschrift"},{"key":"10.1016\/S1570-2464(07)80009-7_bib80_1","doi-asserted-by":"crossref","first-page":"46","DOI":"10.2307\/2270619","article-title":"Algebraic semantics for modal logics, Parts I & II","author":"Lemmon","year":"1966","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80009-7_bib80_2","doi-asserted-by":"crossref","first-page":"191","DOI":"10.2307\/2269810","article-title":"Algebraic semantics for modal logics, Parts I & II","author":"Lemmon","year":"1966","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80009-7_bib81","unstructured":"T. Litak. On notions of completeness weaker than Kripke incompleteness. In R. Schmidt, I. Pratt- Hartmann, M. Reynolds, and H. Wansing, editors, Advances in Modal Logic, Volume 5. King's College London Publications, to appear."},{"year":"1906","series-title":"Symbolic Logic and its Applications","author":"MacColl","key":"10.1016\/S1570-2464(07)80009-7_bib82"},{"key":"10.1016\/S1570-2464(07)80009-7_bib83","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1007\/BF01673502","article-title":"Interpolation theorems in modal logic and amalgable varieties of topological Boolean algebras","volume":"18","author":"Maksimova","year":"1979","journal-title":"Algebra and Logic"},{"key":"10.1016\/S1570-2464(07)80009-7_bib84","series-title":"Multidimensional Modal Logic, volume 4 of Applied Logic Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5694-3","author":"Marx","year":"1997"},{"key":"10.1016\/S1570-2464(07)80009-7_bib85","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1002\/mana.19700460105","article-title":"Completions of Boolean algebras with operators","volume":"46","author":"Monk","year":"1970","journal-title":"Mathematische Nachrichten"},{"key":"10.1016\/S1570-2464(07)80009-7_bib86","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\/S1570-2464(07)80009-7_bib87","doi-asserted-by":"crossref","first-page":"689","DOI":"10.2307\/2274323","article-title":"Cylindric-relativized set algebras have strong amalgamation","volume":"50","author":"N\u00e9meti","year":"1985","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80009-7_bib88","series-title":"Proc. 18th International Symposium on Theoretical Aspects of Computer Science (STAGS 2001), volume 2010 of LNCS","article-title":"Semantical principles in the modal logic of coalgebras","author":"Pattinson","year":"2001"},{"key":"10.1016\/S1570-2464(07)80009-7_bib89","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0304-3975(03)00201-9","article-title":"Coalgebraic modal logic: Soundness, completeness and decidability of local consequence","volume":"309","author":"Pattinson","year":"2003","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1570-2464(07)80009-7_bib90","unstructured":"D. Pattinson. An introduction to the theory of coalgebras, 2003. Notes accompanying a course at NASSLLI 2003; available from http:\/\/www. indiana.edu\/~nas"},{"year":"1979","series-title":"Klassische und nichtklassische Aussagenlogik","author":"Rautenberg","key":"10.1016\/S1570-2464(07)80009-7_bib91"},{"key":"10.1016\/S1570-2464(07)80009-7_bib92","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1017\/S0960129500000694","article-title":"An approach to object semantics based on terminal coalgebras","volume":"5","author":"Reichel","year":"1995","journal-title":"Mathematical Structures in Computer Science"},{"year":"2000","series-title":"Coalgebraic Methods in Computer Science (CMCS'00), volume 33 of Electronic Notes in Theoretical Computer Science","key":"10.1016\/S1570-2464(07)80009-7_bib93"},{"key":"10.1016\/S1570-2464(07)80009-7_bib94","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/S0304-3975(00)00129-8","article-title":"Equational axiomatizability for coalgebra","volume":"260","author":"Ro\u015fu","year":"2001","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1570-2464(07)80009-7_bib95","unstructured":"M. R\u00f6\u00dfiger. Coalgebras and modal logic. In Reichel [93], pages 299-320."},{"key":"10.1016\/S1570-2464(07)80009-7_bib96","series-title":"Proceedings of CONCUR '98, volume 1466 of Lecture Notes in Computer Science","first-page":"194","article-title":"Automata and coinduction (an exercise in coalgebra)","author":"Rutten","year":"1998"},{"key":"10.1016\/S1570-2464(07)80009-7_bib97","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\/S1570-2464(07)80009-7_bib98","unstructured":"H. Sahlqvist. Completeness and correspondence in the first and second order semantics for modal logic. In Kanger [71], pages 110-143."},{"key":"10.1016\/S1570-2464(07)80009-7_bib99","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1023\/A:1026407804348","article-title":"Subdirectly irreducible modal algebras and initial frames","volume":"62","author":"Sambin","year":"1999","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80009-7_bib100","doi-asserted-by":"crossref","first-page":"992","DOI":"10.2307\/2274758","article-title":"A topological proof of Sahlqvist's theorem","volume":"54","author":"Sambin","year":"1989","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80009-7_bib101","first-page":"37","article-title":"The theory of representations for Boolean algebras","volume":"40","author":"Stone","year":"1936","journal-title":"Transactions of the American Math-ematical Society"},{"key":"10.1016\/S1570-2464(07)80009-7_bib102","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2272558","article-title":"Semantic analysis of tense logics","volume":"37","author":"Thomason","year":"1972","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80009-7_bib103","doi-asserted-by":"crossref","first-page":"439","DOI":"10.2307\/2272167","article-title":"Categories of frames for modal logics","volume":"40","author":"Thomason","year":"1975","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80009-7_bib104","series-title":"Fun-damentals of computation theory: proceedings of the 1977 international FCT-conference, volume 56 of Lecture Notes in Computer Science","first-page":"340","article-title":"Relational automata in a category and theory of languages","author":"Trnkov\u00e1","year":"1977"},{"key":"10.1016\/S1570-2464(07)80009-7_bib105","doi-asserted-by":"crossref","first-page":"189","DOI":"10.3233\/FI-1980-3208","article-title":"General theory of relational automata","volume":"3","author":"Trnkov\u00e1","year":"1979","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S1570-2464(07)80009-7_bib106","doi-asserted-by":"crossref","first-page":"607","DOI":"10.2178\/jsl\/1052669066","article-title":"Atomless varieties","volume":"68","author":"Venema","year":"2003","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80009-7_bib107","unstructured":"Y. Venema. Automata and fixed point logics for coalgebras. In Ad\u00e1mek [4]"},{"key":"10.1016\/S1570-2464(07)80009-7_bib108","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1023\/B:STUD.0000034188.80692.46","article-title":"A dual characterization of subdirectly irreducible baos","volume":"77","author":"Venema","year":"2004","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80009-7_bib109","unstructured":"J. Worrell. Terminal sequences for accessible endofunctors. In Jacobs and Rutten [66], pages 39-53."}],"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:S1570246407800097?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570246407800097?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:17:54Z","timestamp":1761607074000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1570246407800097"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9780444516909"],"references-count":110,"URL":"https:\/\/doi.org\/10.1016\/s1570-2464(07)80009-7","relation":{},"ISSN":["1570-2464"],"issn-type":[{"type":"print","value":"1570-2464"}],"subject":[],"published":{"date-parts":[[2007]]}}}