{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T07:39:31Z","timestamp":1765438771273,"version":"3.37.3"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,1,3]],"date-time":"2022-01-03T00:00:00Z","timestamp":1641168000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,3]],"date-time":"2022-01-03T00:00:00Z","timestamp":1641168000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2022,6]]},"DOI":"10.1007\/s11225-021-09975-w","type":"journal-article","created":{"date-parts":[[2022,1,3]],"date-time":"2022-01-03T17:04:57Z","timestamp":1641229497000},"page":"717-743","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic"],"prefix":"10.1007","volume":"110","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1375-6758","authenticated-orcid":false,"given":"Jim","family":"de Groot","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,1,3]]},"reference":[{"key":"9975_CR1","doi-asserted-by":"crossref","unstructured":"Abriola, S., M.\u00a0Descotte, and S.\u00a0Figueira, Model theory of XPath on data trees. Part II: Binary bisimulation and definability, Information and Computation 255:195\u2013223, 2017.","DOI":"10.1016\/j.ic.2017.01.002"},{"key":"9975_CR2","volume-title":"Non-well-founded Sets","author":"P Aczel","year":"1988","unstructured":"Aczel, P., Non-well-founded Sets, CSLI Publications, Stanford, 1988."},{"key":"9975_CR3","doi-asserted-by":"crossref","unstructured":"Badia, G., Bi-simulating in bi-intuitionistic logic, Studia Logica 104:1037\u20131050, 2016.","DOI":"10.1007\/s11225-016-9664-1"},{"key":"9975_CR4","unstructured":"Benthem, J.\u00a0van, Modal Correspondence Theory, Ph.D. thesis, Mathematisch Instituut & Instituut voor Grondslagenonderzoek, University of Amsterdam, 1976."},{"key":"9975_CR5","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-94-009-6259-0_4","volume-title":"Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic","author":"J van Benthem","year":"1984","unstructured":"Benthem, J.\u00a0van, Correspondence theory, in D.\u00a0Gabbay, and F.\u00a0Guenthner, (eds.), Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic, Springer Netherlands, Dordrecht, 1984, pp. 167\u2013247."},{"key":"9975_CR6","doi-asserted-by":"crossref","unstructured":"Benthem, J.\u00a0van, N.\u00a0Bezhanishvili, and S.\u00a0Enqvist, A new game equivalence, its logic and algebra, Journal of Philosophical Logic 48(4):649\u2013684, 2019.","DOI":"10.1007\/s10992-018-9489-7"},{"key":"9975_CR7","doi-asserted-by":"crossref","unstructured":"Benthem, J.\u00a0van, N.\u00a0Bezhanishvili, and S.\u00a0Enqvist, A propositional dynamic logic for instantial neighbourhood semantics, Studia Logica 107(4):719\u2013751, 2019.","DOI":"10.1007\/s11225-018-9825-5"},{"issue":"1","key":"9975_CR8","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1017\/S1755020316000447","volume":"10","author":"J van Benthem","year":"2017","unstructured":"Benthem, J.\u00a0van, N.\u00a0Bezhanishvili, S.\u00a0Enqvist, and J.\u00a0Yu, Instantial neighbourhood logic, Review of Symbolic Logic 10(1):116\u2013144, 2017.","journal-title":"Review of Symbolic Logic"},{"key":"9975_CR9","doi-asserted-by":"crossref","unstructured":"Bezhanishvili, N., S.\u00a0Enqvist, and J.\u00a0de Groot, Duality for instantial neighbourhood logic via coalgebra, in D.\u00a0Petri\u015fan, and J.\u00a0Rot, (eds.), Proc.\u00a0CMCS 2020, Springer International Publishing, Cham, 2020, pp. 32\u201354.","DOI":"10.1007\/978-3-030-57201-3_3"},{"key":"9975_CR10","unstructured":"Bezhanishvili, N., J.\u00a0de Groot, and Y.\u00a0Venema, Coalgebraic geometric logic, in M.\u00a0Roggenbach, and A.\u00a0Sokolova, (eds.), Proc.\u00a0CALCO 2019, vol. 139 of Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2019, pp. 7:1\u20137:18."},{"key":"9975_CR11","volume-title":"Modal Logic Cambridge Tracts in Theoretical Computer Science","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., M.\u00a0de Rijke, and Y.\u00a0Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 2001."},{"key":"9975_CR12","doi-asserted-by":"crossref","unstructured":"Carreiro, F., PDL is the bisimulation-invariant fragment of weak chain logic, in Proc.\u00a0LICS 2015, IEEE Computer Society, USA, 2015, pp. 341\u2013352.","DOI":"10.1109\/LICS.2015.40"},{"issue":"1","key":"9975_CR13","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1016\/j.apal.2008.11.001","volume":"159","author":"B ten Cate","year":"2009","unstructured":"Cate, B.\u00a0ten, D.\u00a0Gabelaia, and D.\u00a0Sustretov, Modal languages for topology: Expressivity and definability, Annals of Pure and Applied Logic 159(1\u20132):146\u2013170, 2009.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9975_CR14","doi-asserted-by":"publisher","first-page":"139","DOI":"10.3166\/jancl.20.139-171","volume":"20","author":"B then Cate","year":"2010","unstructured":"Cate, B.\u00a0ten, G.\u00a0Fontaine, and T.\u00a0Litak, Some modal aspects of XPath, Journal of Applied Non-Classical Logics 20:139\u2013171, 2010.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"1","key":"9975_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1305\/ndjfl\/1039700693","volume":"38","author":"SA Celani","year":"1997","unstructured":"Celani, S.\u00a0A., and R.\u00a0Jansana, A new semantics for positive modal logic, Notre Dame Journal of Formal Logic 38(1):1\u201319, 1997.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9975_CR16","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1093\/jigpal\/7.6.683","volume":"7","author":"SA Celani","year":"1999","unstructured":"Celani, S.\u00a0A., and R.\u00a0Jansana, Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic, Logic Journal of the IGPL 7:683\u2013715, 1999.","journal-title":"Logic Journal of the IGPL"},{"key":"9975_CR17","volume-title":"Model Theory","author":"C Chang","year":"1973","unstructured":"Chang, C., and H.\u00a0Keisler, Model Theory, Elsevier, North-Holland, 1973."},{"key":"9975_CR18","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"BF Chellas","year":"1980","unstructured":"Chellas, B.\u00a0F., Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980."},{"key":"9975_CR19","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01061239","volume":"55","author":"JM Dunn","year":"1995","unstructured":"Dunn, J.\u00a0M., Positive modal logic, Studia Logica 55:301\u2013317, 1995.","journal-title":"Studia Logica"},{"key":"9975_CR20","doi-asserted-by":"crossref","unstructured":"Enqvist, S., Homomorphisms of coalgebras from predicate liftings, in Proc.\u00a0CALCO 2013, Springer, 2013, pp. 126\u2013140.","DOI":"10.1007\/978-3-642-40206-7_11"},{"key":"9975_CR21","doi-asserted-by":"crossref","unstructured":"Enqvist, S., F.\u00a0Seifan, and Y.\u00a0Venema, Completeness for-$$\\mu $$calculi: a coalgebraic approach, Annals of Pure and Applied Logic 170:578\u2013641, 2019.","DOI":"10.1016\/j.apal.2018.12.004"},{"key":"9975_CR22","doi-asserted-by":"crossref","unstructured":"Figueira, D., S.\u00a0Figueira, and C.\u00a0Areces, Model theory of XPath on data trees. Part I: Bisimulation and characterization, Journal of Artificial Intelligence Research 53:271\u2013314, 2015.","DOI":"10.1613\/jair.4658"},{"key":"9975_CR23","doi-asserted-by":"crossref","unstructured":"Flum, J., and M.\u00a0Ziegler, Topological Model Theory, vol. 769 of Lecture Notes in Mathematics, Springer Verlag, 1980.","DOI":"10.1007\/BFb0097006"},{"key":"9975_CR24","doi-asserted-by":"crossref","unstructured":"Gor\u00edn, D., and L.\u00a0Schr\u00f6der, Simulations and bisimulations for coalgebraic modal logics, in R.\u00a0Heckel, and S.\u00a0Milius, (eds.), Proc.\u00a0CALCO 2013, Springer, 2013, pp. 253\u2013266.","DOI":"10.1007\/978-3-642-40206-7_19"},{"key":"9975_CR25","doi-asserted-by":"crossref","unstructured":"Groot, J.\u00a0de, and D.\u00a0Pattinson, Hennessy-Milner properties for (modal) bi-intuitionistic logic, in R.\u00a0Iemhoff, M.\u00a0Moortgat, and R.\u00a0de\u00a0Queiroz, (eds.), Proc.\u00a0WoLLIC 2019, Springer, Berlin, Heidelberg, 2019, pp. 161\u2013176.","DOI":"10.1007\/978-3-662-59533-6_10"},{"key":"9975_CR26","unstructured":"Hansen, H.\u00a0H., Monotonic modal logics, Masters thesis, Institute for Logic, Language and Computation, University of Amsterdam, 2003."},{"key":"9975_CR27","doi-asserted-by":"crossref","unstructured":"Hansen, H.\u00a0H., C.\u00a0Kupke, and E.\u00a0Pacuit, Neighbourhood structures: bisimilarity and basic model theory, Logical Methods in Computer Science 5(2):1\u201338, 2009.","DOI":"10.2168\/LMCS-5(2:2)2009"},{"key":"9975_CR28","doi-asserted-by":"crossref","unstructured":"Hennessy, M., and R.\u00a0Milner, Algebraic laws for nondeterminism and concurrency, Journal of the Association for Computing Machinery 32(1):137\u2013161, 1985.","DOI":"10.1145\/2455.2460"},{"key":"9975_CR29","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1007\/3-540-60246-1_160","volume-title":"Mathematical Foundations of Computer Science 1995","author":"D Janin","year":"1995","unstructured":"Janin, D., and I.\u00a0Walukiewicz, Automata for the modal $$\\mu $$-calculus and related results, in J.\u00a0Wiedermann, and P.\u00a0H\u00e1jek, (eds.), Mathematical Foundations of Computer Science 1995, Springer, Berlin, Heidelberg, 1995, pp. 552\u2013562."},{"key":"9975_CR30","doi-asserted-by":"crossref","unstructured":"Kupke, C., and D.\u00a0Pattinson, Coalgebraic semantics of modal logics: An overview, Theoretical Computer Science 412(38):5070\u20135094, 2011 (CMCS Tenth Anniversary Meeting).","DOI":"10.1016\/j.tcs.2011.04.023"},{"key":"9975_CR31","doi-asserted-by":"crossref","unstructured":"Litak, T., D.\u00a0Pattinson, K.\u00a0Sano, and L.\u00a0Schr\u00f6der, Coalgebraic predicate logic, in A.\u00a0Czumaj, K.\u00a0Mehlhorn, A.\u00a0Pitts, and R.\u00a0Wattenhofer, (eds.), Proc.\u00a0ICALP 2012, Springer, 2012, pp. 299\u2013311.","DOI":"10.1007\/978-3-642-31585-5_29"},{"key":"9975_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R Milner","year":"1980","unstructured":"Milner, R., A Calculus of Communicating Systems, Springer-Verlag, Berlin, Heidelberg, 1980."},{"key":"9975_CR33","doi-asserted-by":"crossref","unstructured":"Olkhovikov, G.\u00a0K., Model-theoretic characterization of intuitionistic propositional formulas, The Review of Symbolic Logic 6(2):348\u2013365, 2013.","DOI":"10.1017\/S1755020312000342"},{"key":"9975_CR34","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BFb0017309","volume-title":"Theoretical Computer Science","author":"D Park","year":"1981","unstructured":"Park, D., Concurrency and automata on infinite sequences, in P.\u00a0Deussen, (ed.), Theoretical Computer Science, Springer, Berlin, Heidelberg, 1981, pp. 167\u2013183."},{"key":"9975_CR35","doi-asserted-by":"crossref","unstructured":"Patterson, A., Bisimulation and propositional intuitionistic logic, in A. Mazurkiewicz, and J. Winkowski, (eds.), CONCUR \u201997: Concurrency Theory, Springer Berlin Heidelberg, Berlin, Heidelberg, 1997, pp. 347\u2013360.","DOI":"10.1007\/3-540-63141-0_24"},{"key":"9975_CR36","doi-asserted-by":"crossref","unstructured":"Rutten, J.J.M.M., Universal coalgebra: a theory of systems, Theoretical Computer Science 249(1):3\u201380, 2000.","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"9975_CR37","doi-asserted-by":"crossref","unstructured":"Schr\u00f6der, L., Expressivity of coalgebraic modal logic: The limits and beyond, Theoretical Computer Science 390:230\u2013247, 2008.","DOI":"10.1016\/j.tcs.2007.09.023"},{"key":"9975_CR38","unstructured":"Schr\u00f6der, L., D.\u00a0Pattinson, and T.\u00a0Litak, A Van Benthem\/Rosen theorem for coalgebraic predicate logic, Journal of Logic and Computation 27(3):749\u2013773, 2017."},{"key":"9975_CR39","unstructured":"Tuyt, O., Canonical rules on neighbourhood frames, Masters thesis, ILLC, University of Amsterdam, 2016."},{"key":"9975_CR40","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-94-017-8860-1_6","volume-title":"Leo Esakia on Duality in Modal and Intuitionistic Logics","author":"Y Venema","year":"2014","unstructured":"Venema, Y., and J.\u00a0Vosmaer, Modal logic and the Vietoris functor, in G.\u00a0Bezhanishvili, (ed.), Leo Esakia on Duality in Modal and Intuitionistic Logics, Springer Netherlands, Dordrecht, 2014, pp. 119\u2013153."},{"key":"9975_CR41","doi-asserted-by":"crossref","unstructured":"Yu, J., A tableau system for instantial neighborhood logic, in Proc.\u00a0LFCS 2018, 2018, pp. 337\u2013353.","DOI":"10.1007\/978-3-319-72056-2_21"},{"key":"9975_CR42","doi-asserted-by":"crossref","unstructured":"Yu, J., Lyndon interpolation theorem of instantial neighborhood logic \u2013 constructively via a sequent calculus, Annals of Pure and Applied Logic, 171(1):102721, 2020.","DOI":"10.1016\/j.apal.2019.102721"},{"key":"9975_CR43","unstructured":"Zhao, Z., Sahlqvist correspondence theory for instantial neighbourhood logic, 2020. Available at arXiv:2003.14187"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09975-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-021-09975-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-021-09975-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,21]],"date-time":"2023-01-21T16:19:02Z","timestamp":1674317942000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-021-09975-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,3]]},"references-count":43,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["9975"],"URL":"https:\/\/doi.org\/10.1007\/s11225-021-09975-w","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2022,1,3]]},"assertion":[{"value":"10 March 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 October 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 January 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}