{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,5]],"date-time":"2024-07-05T17:38:27Z","timestamp":1720201107444},"reference-count":44,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2012,4,1]],"date-time":"2012-04-01T00:00:00Z","timestamp":1333238400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2016,4,27]],"date-time":"2016-04-27T00:00:00Z","timestamp":1461715200000},"content-version":"vor","delay-in-days":1487,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1016\/j.tcs.2012.03.027","type":"journal-article","created":{"date-parts":[[2012,3,23]],"date-time":"2012-03-23T01:03:41Z","timestamp":1332464621000},"page":"88-116","source":"Crossref","is-referenced-by-count":6,"special_numbering":"C","title":["Modalities in the Stone age: A comparison of coalgebraic logics"],"prefix":"10.1016","volume":"430","author":[{"given":"Alexander","family":"Kurz","sequence":"first","affiliation":[]},{"given":"Raul","family":"Leal","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.tcs.2012.03.027_br000005","doi-asserted-by":"crossref","DOI":"10.1016\/0168-0072(91)90065-T","article-title":"Domain theory in logical form","volume":"51","author":"Abramsky","year":"1991","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/j.tcs.2012.03.027_br000010","series-title":"Non-Well-Founded Sets","author":"Aczel","year":"1988"},{"key":"10.1016\/j.tcs.2012.03.027_br000015","series-title":"Category Theory and Computer Science","article-title":"A final coalgebra theorem","volume":"vol. 389","author":"Aczel","year":"1989"},{"key":"10.1016\/j.tcs.2012.03.027_br000020","series-title":"Locally Presentable and Accessible Categories","volume":"vol. 189","author":"Ad\u00e1mek","year":"1994"},{"key":"10.1016\/j.tcs.2012.03.027_br000025","series-title":"Algebraic Theories: A Categorical Introduction to General Algebra","volume":"vol. 184","author":"Ad\u00e1mek","year":"2011"},{"key":"10.1016\/j.tcs.2012.03.027_br000030","series-title":"Automata and Algebras in Categories","author":"Ad\u00e1mek","year":"1990"},{"key":"10.1016\/j.tcs.2012.03.027_br000035","series-title":"Reports of the Midwest Category Theory Seminar IV","article-title":"Relational algebras","volume":"vol. 137","author":"Barr","year":"1970"},{"key":"10.1016\/j.tcs.2012.03.027_br000040","doi-asserted-by":"crossref","DOI":"10.1016\/j.tcs.2004.07.019","article-title":"A hierarchy of probabilistic system types","volume":"327","author":"Bartels","year":"2004","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.tcs.2012.03.027_br000045","series-title":"Advances in Modal Logic","article-title":"Proof systems for the coalgebraic cover modality","volume":"vol. 7","author":"B\u00edlkov\u00e1","year":"2008"},{"key":"10.1016\/j.tcs.2012.03.027_br000050","series-title":"Modal Logic","volume":"vol. 53","author":"Blackburn","year":"2002"},{"key":"10.1016\/j.tcs.2012.03.027_br000055","unstructured":"Marcello Bonsangue, Alexander Kurz, Presenting Functors by Operations and Equations, Lecture Notes in Computer Science, vol. 3921, Springer Berlin\/Heidelberg."},{"key":"10.1016\/j.tcs.2012.03.027_br000060","article-title":"On modal \u03bc-calculus with explicit interpolants","volume":"338","author":"D\u2019Agostino","year":"2006","journal-title":"Journal of Applied Logic"},{"key":"10.1016\/j.tcs.2012.03.027_br000065","series-title":"Introduction to Lattices and Order","author":"Davey","year":"1990"},{"key":"10.1016\/j.tcs.2012.03.027_br000070","series-title":"Proceedings of ICALP\u201997","article-title":"Bisimulation for probabilistic transition systems: a coalgebraic approach","volume":"vol. 1256","author":"de Vink","year":"1997"},{"key":"10.1016\/j.tcs.2012.03.027_br000075","series-title":"Stochastic Relations","author":"Doberkat","year":"2007"},{"issue":"2","key":"10.1016\/j.tcs.2012.03.027_br000080","doi-asserted-by":"crossref","DOI":"10.1007\/BF01061239","article-title":"Positive modal logic","volume":"55","author":"Dunn","year":"1995","journal-title":"Studia Logica"},{"key":"10.1016\/j.tcs.2012.03.027_br000085","series-title":"Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation","volume":"vol. 2303","author":"Ferrari","year":"2002"},{"key":"10.1016\/j.tcs.2012.03.027_br000090","series-title":"Proceedings 16th Logic in Computer Science","article-title":"Semantics of name and value passing","author":"Fiore","year":"2001"},{"key":"10.1016\/j.tcs.2012.03.027_br000095","series-title":"A Coalgebraic Perspective on Monotone Modal Logic","volume":"vol. 106","author":"Hansen","year":"2004"},{"key":"10.1016\/j.tcs.2012.03.027_br000100","doi-asserted-by":"crossref","DOI":"10.1006\/game.1999.0788","article-title":"Probabilistic logic for type spaces","volume":"35","author":"Heifetz","year":"2001","journal-title":"Games and Economic Behavior"},{"issue":"5","key":"10.1016\/j.tcs.2012.03.027_br000105","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1093\/logcom\/exn093","article-title":"Exemplaric expressivity of modal logics","volume":"20","author":"Jacobs","year":"2010","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/j.tcs.2012.03.027_br000110","series-title":"MFCS\u201995 Proceedings","article-title":"Automata for the modal mu-calculus and related results","author":"Janin","year":"1995"},{"key":"10.1016\/j.tcs.2012.03.027_br000115","series-title":"Stone Spaces","author":"Johnstone","year":"1982"},{"key":"10.1016\/j.tcs.2012.03.027_br000120","series-title":"Continuous Lattices and their Applications","article-title":"Vietoris locales and localic semilattices","volume":"vol. 101","author":"Johnstone","year":"1985"},{"key":"10.1016\/j.tcs.2012.03.027_br000125","series-title":"The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic","volume":"vol. 3629","author":"Klin","year":"2005"},{"key":"10.1016\/j.tcs.2012.03.027_br000130","series-title":"Algebraic Semantics for Coalgebraic Logics","volume":"vol. 106","author":"Kupke","year":"2004"},{"key":"10.1016\/j.tcs.2012.03.027_br000135","series-title":"Advances in Modal Logic","article-title":"Completeness of the finitary Moss logic","volume":"vol.~7","author":"Kupke","year":"2008"},{"key":"10.1016\/j.tcs.2012.03.027_br000140","doi-asserted-by":"crossref","DOI":"10.2168\/LMCS-4(4:10)2008","article-title":"Coalgebraic automata theory: basic results","volume":"4","author":"Kupke","year":"2008","journal-title":"Logical Methods in Computer Science"},{"key":"10.1016\/j.tcs.2012.03.027_br000145","series-title":"Specifying Coalgebras with Modal Logic","volume":"vol. 11","author":"Kurz","year":"1998"},{"key":"10.1016\/j.tcs.2012.03.027_br000150","unstructured":"Alexander Kurz, Logics for Coalgebras and Applications to Computer Science, Ph.D. thesis, LMU, 2000."},{"key":"10.1016\/j.tcs.2012.03.027_br000155","series-title":"The Goldblatt-Thomason-theorem for Coalgebras, CALCO\u201907","volume":"vol. 4624","author":"Kurz","year":"2007"},{"key":"10.1016\/j.tcs.2012.03.027_br000160","unstructured":"Alexander Kurz, Ji\u0159\u00ed Rosick\u00fd, Strongly complete logics for coalgebras, Logical Methods in Computer Science (July 2006) (submitted for publication)."},{"key":"10.1016\/j.tcs.2012.03.027_br000165","series-title":"Advances in Modal Logic","article-title":"Coalgebraic Lindstr\u00f6m theorems","author":"Kurz","year":"2010"},{"issue":"5","key":"10.1016\/j.tcs.2012.03.027_br000170","doi-asserted-by":"crossref","DOI":"10.1016\/j.entcs.2008.05.026","article-title":"Predicate liftings versus nabla modalities","volume":"203","author":"Leal","year":"2008","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10.1016\/j.tcs.2012.03.027_br000175","series-title":"Category Theory for the Working Mathematician","author":"Mac Lane","year":"1971"},{"key":"10.1016\/j.tcs.2012.03.027_br000180","doi-asserted-by":"crossref","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\/j.tcs.2012.03.027_br000185","doi-asserted-by":"crossref","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\/j.tcs.2012.03.027_br000190","series-title":"Coalgebras and Modal Logic","volume":"vol. 33","author":"R\u00f6\u00dfiger","year":"2000"},{"key":"10.1016\/j.tcs.2012.03.027_br000195","series-title":"Automata and Coinduction \u2014 An Exercise in Coalgebra, CONCUR\u201998","volume":"vol. 1466","author":"Rutten","year":"1998"},{"key":"10.1016\/j.tcs.2012.03.027_br000200","doi-asserted-by":"crossref","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\/j.tcs.2012.03.027_br000205","series-title":"LPAR","article-title":"Completeness for flat modal fixpoint logics","volume":"vol. 4790","author":"Santocanale","year":"2007"},{"key":"10.1016\/j.tcs.2012.03.027_br000210","doi-asserted-by":"crossref","DOI":"10.1016\/j.tcs.2007.09.023","article-title":"Expressivity of coalgebraic modal logic: the limits and beyond","volume":"390","author":"Schr\u00f6der","year":"2008","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.tcs.2012.03.027_br000215","series-title":"Topology via Logic","volume":"vol. 5","author":"Vickers","year":"1989"},{"key":"10.1016\/j.tcs.2012.03.027_br000220","article-title":"Finality regained: a coalgebraic study of Scott-sets and multisets","volume":"41","author":"Visser","year":"2002","journal-title":"Archive for Mathematical Logic"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397512002885?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397512002885?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,11,24]],"date-time":"2018-11-24T20:21:47Z","timestamp":1543090907000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397512002885"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":44,"alternative-id":["S0304397512002885"],"URL":"https:\/\/doi.org\/10.1016\/j.tcs.2012.03.027","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2012,4]]}}}