{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T21:12:52Z","timestamp":1726434772930},"reference-count":45,"publisher":"Oxford University Press (OUP)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"DOI":"10.1093\/logcom\/exv043","type":"journal-article","created":{"date-parts":[[2015,7,6]],"date-time":"2015-07-06T21:11:14Z","timestamp":1436217074000},"page":"exv043","source":"Crossref","is-referenced-by-count":2,"title":["A Van Benthem\/Rosen theorem for coalgebraic predicate logic"],"prefix":"10.1093","author":[{"given":"Lutz","family":"Schr\u00f6der","sequence":"first","affiliation":[]},{"given":"Dirk","family":"Pattinson","sequence":"additional","affiliation":[]},{"given":"Tadeusz","family":"Litak","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2015,7,6]]},"reference":[{"key":"2015070618110423000_exv043v1.1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90076-6"},{"key":"2015070618110423000_exv043v1.2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"2015070618110423000_exv043v1.3","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0066792"},{"key":"2015070618110423000_exv043v1.4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic","author":"Chellas","year":"1980"},{"key":"2015070618110423000_exv043v1.5","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.06.002"},{"key":"2015070618110423000_exv043v1.6","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2010.03.001"},{"key":"2015070618110423000_exv043v1.7","first-page":"21","article-title":"Modal characterisation theorems over special classes of frames","volume-title":"Logic in Computer Science, LICS 05","author":"Dawar","year":"2005"},{"key":"2015070618110423000_exv043v1.8","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005245900406"},{"key":"2015070618110423000_exv043v1.9","doi-asserted-by":"publisher","DOI":"10.1007\/s001530100110"},{"key":"2015070618110423000_exv043v1.10","unstructured":"S. Enqvist, F. Seifan and Y. Venema. Expressiveness of the modal \u03bc-calculus on monotone neighborhood structures. CoRR, abs\/1502.07889, 2015."},{"key":"2015070618110423000_exv043v1.11","doi-asserted-by":"crossref","DOI":"10.1109\/LICS.2015.41","article-title":"Monadic second-order logic and bisimulation invariance for coalgebras","volume-title":"Logic in Computer Science, LICS 2015","author":"Enqvist","year":"2015"},{"key":"2015070618110423000_exv043v1.12","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093890715"},{"key":"2015070618110423000_exv043v1.13","first-page":"105","article-title":"On local and non-local properties","volume-title":"Logic Colloquium 1981","author":"Gaifman","year":"1982"},{"key":"2015070618110423000_exv043v1.14","first-page":"255","article-title":"Model theory of modal logic","volume-title":"Handbook of Modal Logic","author":"Goranko","year":"2006"},{"key":"2015070618110423000_exv043v1.15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40206-7_19"},{"key":"2015070618110423000_exv043v1.16","doi-asserted-by":"publisher","DOI":"10.1007\/11548133_13"},{"key":"2015070618110423000_exv043v1.17","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90019-V"},{"key":"2015070618110423000_exv043v1.18","doi-asserted-by":"crossref","DOI":"10.2168\/LMCS-5(2:2)2009","article-title":"Neighbourhood structures: Bisimilarity and basic model theory","volume":"5","author":"Hansen","year":"2009","journal-title":"Logical Methods Computer Science"},{"key":"2015070618110423000_exv043v1.19","doi-asserted-by":"publisher","DOI":"10.1006\/game.1999.0788"},{"key":"2015070618110423000_exv043v1.20","unstructured":"B. Jacobs. Predicate logic for functors and monads, 2010, Manuscript."},{"key":"2015070618110423000_exv043v1.21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61604-7_60"},{"key":"2015070618110423000_exv043v1.22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07003-1","volume-title":"Elements of Finite Model Theory","author":"Libkin","year":"2004"},{"key":"2015070618110423000_exv043v1.23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36976-6_16"},{"key":"2015070618110423000_exv043v1.24","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/978-3-642-31585-5_29","article-title":"Coalgebraic predicate logic","volume-title":"Automata, Languages, and Programming, ICALP 2012","volume":"7392","author":"Litak","year":"2012"},{"key":"2015070618110423000_exv043v1.25","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90030-6"},{"key":"2015070618110423000_exv043v1.26","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19770230702"},{"key":"2015070618110423000_exv043v1.27","first-page":"37","article-title":"Topological model theory with an interior operator: consistency properties and back-and forth arguments","volume":"20","author":"Makowsky","year":"1980","journal-title":"Archive for Mathematische Logic"},{"key":"2015070618110423000_exv043v1.28","first-page":"276","article-title":"Bisimulation invariance and finite models","volume-title":"Logic Colloquium 02","volume":"27","author":"Otto","year":"2006"},{"key":"2015070618110423000_exv043v1.29","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00201-9"},{"key":"2015070618110423000_exv043v1.30","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1094155277"},{"key":"2015070618110423000_exv043v1.31","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008275906015"},{"key":"2015070618110423000_exv043v1.32","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"2015070618110423000_exv043v1.33","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2006.11.004"},{"key":"2015070618110423000_exv043v1.34","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.09.023"},{"key":"2015070618110423000_exv043v1.35","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1980-0554321-4"},{"key":"2015070618110423000_exv043v1.36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18026-2_15"},{"key":"2015070618110423000_exv043v1.37","unstructured":"L. Schr\u00f6der and D. Pattinson. Strong completeness of coalgebraic modal logics. In Theoretical Aspects of Computer Science, STACS 09, Leibniz International Proceedings in Informatics, pp. 673\u2013684. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, 2009."},{"key":"2015070618110423000_exv043v1.38","first-page":"328","article-title":"Coalgebraic correspondence theory","volume-title":"Foundations of Software Science and Computations Structures, FOSSACS 2010","volume":"6014","author":"Schr\u00f6der","year":"2010"},{"key":"2015070618110423000_exv043v1.39","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn096"},{"key":"2015070618110423000_exv043v1.40","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129510000563"},{"key":"2015070618110423000_exv043v1.41","doi-asserted-by":"crossref","DOI":"10.2168\/LMCS-7(1:13)2011","article-title":"Relating coalgebraic notions of bisimulation","volume":"7","author":"Staton","year":"2011","journal-title":"Logical Methods in Computer Science"},{"key":"2015070618110423000_exv043v1.42","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2008.11.001"},{"key":"2015070618110423000_exv043v1.43","unstructured":"J. van Benthem. Modal Correspondence Theory. PhD Thesis, Department of Mathematics, University of Amsterdam, 1976."},{"key":"2015070618110423000_exv043v1.44","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-009-6259-0_4","article-title":"Correspondence theory","volume-title":"Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic","author":"van Benthem","year":"1984"},{"key":"2015070618110423000_exv043v1.45","article-title":"Topological model theory","volume-title":"Model-Theoretic Logics","author":"Ziegler","year":"1985"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/27\/3\/749\/13694161\/exv043.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,27]],"date-time":"2019-08-27T21:35:19Z","timestamp":1566941719000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exv043"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,6]]},"references-count":45,"alternative-id":["10.1093\/logcom\/exv043"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exv043","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published":{"date-parts":[[2015,7,6]]}}}