{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:16:18Z","timestamp":1760202978118,"version":"3.40.3"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030572006"},{"type":"electronic","value":"9783030572013"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-57201-3_3","type":"book-chapter","created":{"date-parts":[[2020,8,20]],"date-time":"2020-08-20T23:20:00Z","timestamp":1597965600000},"page":"32-54","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Duality for Instantial Neighbourhood Logic via Coalgebra"],"prefix":"10.1007","author":[{"given":"Nick","family":"Bezhanishvili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Enqvist","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1375-6758","authenticated-orcid":false,"given":"Jim","family":"de Groot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,8,21]]},"reference":[{"issue":"4","key":"3_CR1","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s10992-018-9489-7","volume":"48","author":"J van Benthem","year":"2019","unstructured":"van Benthem, J., Bezhanishvili, N., Enqvist, S.: A new game equivalence, its logic and algebra. J. Philos. Logic 48(4), 649\u2013684 (2019)","journal-title":"J. Philos. Logic"},{"issue":"4","key":"3_CR2","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1007\/s11225-018-9825-5","volume":"107","author":"J van Benthem","year":"2019","unstructured":"van Benthem, J., Bezhanishvili, N., Enqvist, S.: A propositional dynamic logic for instantial neighbourhood semantics. Studia Logica 107(4), 719\u2013751 (2019)","journal-title":"Studia Logica"},{"issue":"1","key":"3_CR3","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1017\/S1755020316000447","volume":"10","author":"J van Benthem","year":"2017","unstructured":"van Benthem, J., Bezhanishvili, N., Enqvist, S., Yu, J.: Instantial neighbourhood logic. Rev. Symbol. Logic 10(1), 116\u2013144 (2017)","journal-title":"Rev. Symbol. Logic"},{"key":"3_CR4","unstructured":"Bezhanishvili, N., de Groot, J., Venema, Y.: Coalgebraic geometric logic. In: Roggenbach, M., Sokolova, A. (eds.) Proceedings of CALCO 2019, Dagstuhl, Germany, pp. 7:1\u20137:18 (2019). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik"},{"issue":"5","key":"3_CR5","doi-asserted-by":"publisher","first-page":"1017","DOI":"10.1093\/logcom\/exn091","volume":"20","author":"N Bezhanishvili","year":"2010","unstructured":"Bezhanishvili, N., Fontaine, G., Venema, Y.: Vietoris bisimulations. J. Logic Comput. 20(5), 1017\u20131040 (2010)","journal-title":"J. Logic Comput."},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-540-73859-6_10","volume-title":"Algebra and Coalgebra in Computer Science","author":"N Bezhanishvili","year":"2007","unstructured":"Bezhanishvili, N., Kurz, A.: Free modal algebras: a coalgebraic perspective. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol. 4624, pp. 143\u2013157. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73859-6_10"},{"key":"3_CR7","volume-title":"Modal Logic. Cambridge Tracts in Theoretical Computer Science","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (2001)"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1093\/jigpal\/7.6.683","volume":"7","author":"S Celani","year":"1999","unstructured":"Celani, S., Jansana, R.: Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic. Logic J. IGPL 7, 683\u2013715 (1999). 12","journal-title":"Logic J. IGPL"},{"key":"3_CR9","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-030-01653-1_2","volume-title":"New Trends in Information and Communications Technology Applications","author":"SK Idrees","year":"2018","unstructured":"Idrees, S.K., Fanfakh, A.B.M.: Performance and energy consumption prediction of randomly selected nodes in heterogeneous cluster. In: Al-mamory, S.O., Alwan, J.K., Hussein, A.D. (eds.) NTICT 2018. CCIS, vol. 938, pp. 21\u201334. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-01653-1_2"},{"key":"3_CR10","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"A Chagrov","year":"1997","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford University Press, Oxford (1997)"},{"issue":"6","key":"3_CR11","doi-asserted-by":"publisher","first-page":"991","DOI":"10.1093\/logcom\/exy001","volume":"28","author":"S Enqvist","year":"2018","unstructured":"Enqvist, S., Sourabh, S.: Bisimulations for coalgebras on Stone spaces. J. Logic Comput. 28(6), 991\u20131010 (2018)","journal-title":"J. Logic Comput."},{"key":"3_CR12","first-page":"147","volume":"15","author":"LL Esakia","year":"1974","unstructured":"Esakia, L.L.: Topological Kripke models. Soviet Mathematics Doklady 15, 147\u2013151 (1974)","journal-title":"Soviet Mathematics Doklady"},{"key":"3_CR13","unstructured":"Esakia, L.L.: The problem of dualism in the intuitionistic logic and Browerian lattices. In: V International Congress of Logic, Methodology and Philosophy of Science, Canada, pp. 7\u20138 (1975)"},{"key":"3_CR14","doi-asserted-by":"publisher","unstructured":"Esakia, L.: Heyting Algebras. Trends in Logic, Bezhanishvili, G., Holliday, W.H. (eds.) vol. 50. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-12096-2. Translated by A. Evseev","DOI":"10.1007\/978-3-030-12096-2"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Furber, R., Kozen, D., Larsen, K.G., Mardare, R., Panangaden, P.: Unrestricted stone duality for Markov processes. In: Proceedings of LICS 2017, Reykjav\u00edk, Iceland, pp. 1\u20139. IEEE Press (2017)","DOI":"10.1109\/LICS.2017.8005152"},{"key":"3_CR16","first-page":"41","volume":"6","author":"RI Goldblatt","year":"1976","unstructured":"Goldblatt, R.I.: Metamathematics of modal logic I. Rep. Math. Logic 6, 41\u201378 (1976)","journal-title":"Rep. Math. Logic"},{"key":"3_CR17","unstructured":"Hansen, H.H.: Monotonic modal logics. Master\u2019s thesis, Institute for Logic, Language and Computation, University of Amsterdam (2003)"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.entcs.2004.02.028","volume":"106","author":"HH Hansen","year":"2004","unstructured":"Hansen, H.H., Kupke, C.: A coalgebraic perspective on monotone modal logic. Electron. Notes Theor. Comput. Sci. 106, 121\u2013143 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"3_CR19","volume-title":"Stone Spaces. Cambridge Studies in Advanced Mathematics","author":"PT Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1982)"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators, Part I. Am. J. Math. 73, 891\u2013939 (1951)","journal-title":"Am. J. Math."},{"key":"3_CR21","unstructured":"Kapulkin, K., Kurz, A., Velebil, J.: Expressiveness of positive coalgebraic logic. In: Bolander, T., Bra\u00fcner, T., Ghilardi, S., Moss, L.S. (eds.) Proceedings of AIML 2012, pp. 368\u2013385. College Publications (2012)"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Kupke, C., Kurz, A., Pattinson, D.: Algebraic semantics for coalgebraic logics. In: Proceedings of the Workshop on Coalgebraic Methods in Computer Science (CMCS). Electronic Notes in Theoretical Computer Science, vol. 106, pp. 219\u2013241 (2004)","DOI":"10.1016\/j.entcs.2004.02.037"},{"issue":"1","key":"3_CR23","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2004.07.023","volume":"327","author":"C Kupke","year":"2004","unstructured":"Kupke, C., Kurz, A., Venema, Y.: Stone coalgebras. Theoret. Comput. Sci. 327(1), 109\u2013134 (2004). Selected Papers of CMCS \u201903","journal-title":"Theoret. Comput. Sci."},{"issue":"38","key":"3_CR24","doi-asserted-by":"publisher","first-page":"5070","DOI":"10.1016\/j.tcs.2011.04.023","volume":"412","author":"C Kupke","year":"2011","unstructured":"Kupke, C., Pattinson, D.: Coalgebraic semantics of modal logics: an overview. Theoret. Comput. Sci. 412(38), 5070\u20135094 (2011). CMCS Tenth Anniversary Meeting","journal-title":"Theoret. Comput. Sci."},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Mio, M., Furber, R., Mardare, R.: Riesz modal logic for Markov processes. In: Proceedings of LICS 2017, pp. 1\u201312, 06 2017","DOI":"10.1109\/LICS.2017.8005091"},{"issue":"1","key":"3_CR26","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0168-0072(98)00042-6","volume":"96","author":"LS Moss","year":"1999","unstructured":"Moss, L.S.: Coalgebraic logic. Ann. Pure Appl. Logic 96(1), 277\u2013317 (1999)","journal-title":"Ann. Pure Appl. Logic"},{"key":"3_CR27","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/j.tcs.2004.07.026","volume":"327","author":"A Palmigiano","year":"2004","unstructured":"Palmigiano, A.: A coalgebraic view on positive modal logic. Theoret. Comput. Sci. 327, 175\u2013195 (2004)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"3_CR28","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"HA Priestley","year":"1970","unstructured":"Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. Lond. Math. Soc. 2(2), 186\u2013190 (1970)","journal-title":"Bull. Lond. Math. Soc."},{"issue":"1","key":"3_CR29","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"JJMM Rutten","year":"2000","unstructured":"Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theoret. Comput. Sci. 249(1), 3\u201380 (2000)","journal-title":"Theoret. Comput. Sci."},{"issue":"3","key":"3_CR30","doi-asserted-by":"publisher","first-page":"992","DOI":"10.2307\/2274758","volume":"54","author":"G Sambin","year":"1989","unstructured":"Sambin, G., Vaccaro, V.: A new proof of Sahlqvist\u2019s theorem on modal definability and completeness. J. Symbolic Logic 54(3), 992\u2013999 (1989)","journal-title":"J. Symbolic Logic"},{"key":"3_CR31","first-page":"37","volume":"40","author":"MH Stone","year":"1936","unstructured":"Stone, M.H.: The theory of representations for Boolean algebras. Trans. Am. Math. Soc. 40, 37\u2013111 (1936)","journal-title":"Trans. Am. Math. Soc."},{"key":"3_CR32","unstructured":"Tuyt, O.: Canonical rules on neighbourhood frames. Master\u2019s thesis, ILLC, University of Amsterdam (2016)"},{"key":"3_CR33","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","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., Vosmaer, J.: Modal logic and the Vietoris lunctor. In: Bezhanishvili, G. (ed.) Leo Esakia on Duality in Modal and Intuitionistic Logics. OCL, vol. 4, pp. 119\u2013153. Springer, Dordrecht (2014). https:\/\/doi.org\/10.1007\/978-94-017-8860-1_6"},{"issue":"2","key":"3_CR34","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1017\/S0305004196001636","volume":"122","author":"S Vickers","year":"1997","unstructured":"Vickers, S.: Constructive points of powerlocales. Math. Proc. Cambridge Philos. Soc. 122(2), 207\u2013222 (1997)","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"issue":"13","key":"3_CR35","first-page":"272","volume":"12","author":"SJ Vickers","year":"2004","unstructured":"Vickers, S.J.: The double powerlocale and exponentiation: a case study in geometric logic. Theory Appl. Categories 12(13), 272\u2013422 (2004)","journal-title":"Theory Appl. Categories"},{"issue":"1","key":"3_CR36","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/j.tcs.2004.01.034","volume":"316","author":"SJ Vickers","year":"2004","unstructured":"Vickers, S.J., Townsend, C.F.: A universal characterization of the double powerlocale. Theoret. Comput. Sci. 316(1), 297\u2013321 (2004). Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"3_CR37","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/BF01696886","volume":"32","author":"L Vietoris","year":"1922","unstructured":"Vietoris, L.: Bereiche zweiter Ordnung. Monatshefte f\u00fcr Mathematik und Physik 32(1), 258\u2013280 (1922). https:\/\/doi.org\/10.1007\/BF01696886","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"issue":"7","key":"3_CR38","doi-asserted-by":"publisher","first-page":"339","DOI":"10.3792\/pia\/1195573861","volume":"18","author":"K Yosida","year":"1942","unstructured":"Yosida, K.: On the representation of vector lattices. Proc. Imperial Acad. 18(7), 339\u2013342 (1942)","journal-title":"Proc. Imperial Acad."},{"key":"3_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-319-72056-2_21","volume-title":"Logical Foundations of Computer Science","author":"J Yu","year":"2018","unstructured":"Yu, J.: A tableau system for instantial neighborhood logic. In: Artemov, S., Nerode, A. (eds.) LFCS 2018. LNCS, vol. 10703, pp. 337\u2013353. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-72056-2_21"},{"issue":"1","key":"3_CR40","doi-asserted-by":"publisher","first-page":"102721","DOI":"10.1016\/j.apal.2019.102721","volume":"171","author":"J Yu","year":"2020","unstructured":"Yu, J.: Lyndon interpolation theorem of instantial neighborhood logic - constructively via a sequent calculus. Ann. Pure Appl. Logic 171(1), 102721 (2020)","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Lecture Notes in Computer Science","Coalgebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-57201-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,22]],"date-time":"2024-08-22T12:36:53Z","timestamp":1724330213000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-57201-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030572006","9783030572013"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-57201-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"21 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Coalgebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dublin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ireland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 April 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 April 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmcs2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.coalg.org\/cmcs20\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"69% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2-3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"There were several online events in September and October of 2020.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}