{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:42:44Z","timestamp":1755999764717,"version":"3.37.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,6,24]],"date-time":"2020-06-24T00:00:00Z","timestamp":1592956800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,6,24]],"date-time":"2020-06-24T00:00:00Z","timestamp":1592956800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Takenaka-Ikueikai"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,4]]},"DOI":"10.1007\/s11225-020-09911-4","type":"journal-article","created":{"date-parts":[[2020,6,24]],"date-time":"2020-06-24T01:02:37Z","timestamp":1592960557000},"page":"397-421","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1963-0574","authenticated-orcid":false,"given":"Kentar\u00f4","family":"Yamamoto","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,6,24]]},"reference":[{"key":"9911_CR1","unstructured":"Alur, R., T. Henzinger, and O. Kupferman, Alternating-time temporal logic, in Journal of the ACM, IEEE Computer Society Press, 1997, pp. 100\u2013109."},{"key":"9911_CR2","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M.\u00a0de Rijke, and Y. Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, New York, NY, USA, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"9911_CR3","doi-asserted-by":"crossref","unstructured":"Chang, C.\u00a0C., Modal model theory, in A.\u00a0R.\u00a0D. Mathias, and H.\u00a0Rogers, (eds.), Cambridge Summer School in Mathematical Logic, New York: Springer Verlag, 1973, pp. 599\u2013617.","DOI":"10.1007\/BFb0066792"},{"key":"9911_CR4","doi-asserted-by":"crossref","unstructured":"Chellas, B.\u00a0F., Modal Logic: An Introduction, Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"issue":"2","key":"9911_CR5","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF02770513","volume":"48","author":"Kosta Do\u0161en","year":"1989","unstructured":"Do\u0161en, K., Duality between modal algebras and neighbourhood frames, Studia Logica 48(2): 219\u2013234, 1989.","journal-title":"Studia Logica"},{"key":"9911_CR6","doi-asserted-by":"crossref","unstructured":"Fine, K., Some connections between elementary and modal logic, in Proceedings of the Third Scandinavian Logic Symposium, 1975.","DOI":"10.1016\/S0049-237X(08)70723-7"},{"key":"9911_CR7","volume-title":"and Margin Ziegler","author":"J\u00f6rg Flum","year":"1980","unstructured":"Flum, J., and M. Ziegler, Topological Model Theory, Springer-Verlag, 1980."},{"issue":"1","key":"9911_CR8","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1006\/jabr.2000.8622","volume":"238","author":"Mai Gehrke","year":"2001","unstructured":"Gehrke, M., and J. Harding, Bounded lattice expansions, Journal of Algebra 238(1): 345\u2013371, 2001.","journal-title":"Journal of Algebra"},{"issue":"2","key":"9911_CR9","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1090\/S0002-9947-05-03816-X","volume":"358","author":"Mai Gehrke","year":"2006","unstructured":"Gehrke, M., J. Harding, and Y. Venema, Macneille completions and canonical extensions, Transactions of the American Mathematical Society 358(2): 573\u2013590, 2006.","journal-title":"Transactions of the American Mathematical Society"},{"key":"9911_CR10","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1002\/malq.19760220104","volume":"22","author":"Martin Gerson","year":"1976","unstructured":"Gerson, M., A neighbourhood frame for T with no equivalent relational frame, Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 22: 29\u201334, 1976.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"issue":"4","key":"9911_CR11","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/BF02121664","volume":"34","author":"Martin Sebastian Gerson","year":"1975","unstructured":"Gerson, M.\u00a0S., An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics, Studia Logica: An International Journal for Symbolic Logic 34(4): 333\u2013342, 1975.","journal-title":"Studia Logica: An International Journal for Symbolic Logic"},{"key":"9911_CR12","doi-asserted-by":"crossref","unstructured":"Goldblatt, R.\u00a0I., and S.\u00a0K. Thomason, Axiomatic classes in propositional modal logic, in J.\u00a0N. Crossley, (ed.), Algebra and Logic, Springer, Berlin, Heidelberg, 1975, pp. 163\u2013173.","DOI":"10.1007\/BFb0062855"},{"key":"9911_CR13","unstructured":"Hansen, H.\u00a0H., Monotonic Modal Logics, Master\u2019s thesis, University of Amsterdam, 2003."},{"key":"9911_CR14","doi-asserted-by":"crossref","unstructured":"Hansen, H.\u00a0H., C. Kupke, and E. Pacuit, Neighbourhood structures: Bisimilarity and basic model theory, Logical Methods in Computer Science, Volume 5, Issue 2 2009.","DOI":"10.2168\/LMCS-5(2:2)2009"},{"key":"9911_CR15","doi-asserted-by":"crossref","unstructured":"Kurz, A., and J. Rosick\u1ef3, The Goldblatt-Thomason theorem for coalgebras, in International Conference on Algebra and Coalgebra in Computer Science, Springer, 2007, pp. 342\u2013355.","DOI":"10.1007\/978-3-540-73859-6_23"},{"key":"9911_CR16","unstructured":"Litak, T., D. Pattinson, K. Sano, and L. Schr\u00f6der, Model Theory and Proof Theory of Coalgebraic Predicate Logic, Logical Methods in Computer Science, 14(1) 2018."},{"key":"9911_CR17","volume-title":"An Introduction","author":"David Marker","year":"2002","unstructured":"Marker, D., Model Theory: An Introduction, Springer-Verlag New York, 2002."},{"key":"9911_CR18","doi-asserted-by":"publisher","unstructured":"Pacuit, E., Neighborhood Semantics for Modal Logic, Short Textbooks in Logic, Springer International Publishing, Cham, 2017. https:\/\/doi.org\/10.1007\/978-3-319-67149-9.","DOI":"10.1007\/978-3-319-67149-9."},{"issue":"3","key":"9911_CR19","first-page":"775","volume":"27","author":"Alessandra Palmigiano","year":"2016","unstructured":"Palmigiano, A., S. Sourabh, and Z. Zhao, Sahlqvist theory for impossible worlds, Journal of Logic and Computation 27(3): 775\u2013816, 2016.","journal-title":"Journal of Logic and Computation"},{"key":"9911_CR20","doi-asserted-by":"crossref","unstructured":"Parikh, R., The logic of games and its applications, in Annals of Discrete Mathematics, Elsevier, 1985, pp. 111\u2013140.","DOI":"10.1016\/S0304-0208(08)73078-0"},{"key":"9911_CR21","unstructured":"Pauly, M., Logic for Social Software, Ph.D. thesis, University of Amsterdam, 2001."},{"issue":"3","key":"9911_CR22","first-page":"749","volume":"27","author":"Lutz Schr\u00f6der","year":"2017","unstructured":"Schr\u00f6der, L., D. Pattinson, and T. Litak, A van Benthem\/Rosen theorem for coalgebraic predicate logic, Journal of Logic and Computation 27(3): 749\u2013773, 2017.","journal-title":"Journal of Logic and Computation"},{"key":"9911_CR23","doi-asserted-by":"crossref","unstructured":"ten Cate, B., D. Gabelaia, and D. Sustretov, Modal languages for topology: Expressivity and definability, Annals of Pure and Applied Logic 159(1): 146\u2013170, 2009.","DOI":"10.1016\/j.apal.2008.11.001"},{"key":"9911_CR24","unstructured":"van Benthem, J. F. A.\u00a0K., Modal Logic and Classical Logic, Distributed in the U.S.A. By Humanities Press, 1983."},{"key":"9911_CR25","unstructured":"van Benthem, J., Universal algebra and model theory: the DNA of modal logic, in Logic in Hungary, Janos Bolyai Mathematical Society, 2005."},{"key":"9911_CR26","doi-asserted-by":"crossref","unstructured":"van Benthem, J., and G. Bezhanishvili, Modal Logics of Space, Springer Netherlands, Dordrecht, 2007, pp. 217\u2013298.","DOI":"10.1007\/978-1-4020-5587-4_5"},{"key":"9911_CR27","doi-asserted-by":"crossref","unstructured":"Venema, Y., Algebras and coalgebras, in Handbook of Modal Logic, chap.\u00a06, Elsevier, 2007, pp. 331\u2013426.","DOI":"10.1016\/S1570-2464(07)80009-7"},{"key":"9911_CR28","doi-asserted-by":"crossref","unstructured":"Ziegler, M., Chapter xv: Topological model theory, in J.\u00a0Barwise, and S.\u00a0Feferman, (eds.), Model-Theoretic Logics, vol. Volume 8 of Perspectives in Mathematical Logic, chap.\u00a0XV, Springer-Verlag, New York, 1985, pp. 557\u2013577.","DOI":"10.1017\/9781316717158.022"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09911-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-020-09911-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09911-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,23]],"date-time":"2021-06-23T23:51:46Z","timestamp":1624492306000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-020-09911-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,24]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,4]]}},"alternative-id":["9911"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09911-4","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2020,6,24]]},"assertion":[{"value":"22 December 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 June 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}