{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:15:18Z","timestamp":1760202918847,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":84,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T00:00:00Z","timestamp":1594166400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,8]]},"DOI":"10.1145\/3373718.3394807","type":"proceedings-article","created":{"date-parts":[[2020,5,26]],"date-time":"2020-05-26T00:23:18Z","timestamp":1590452598000},"page":"355-369","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Modal Intuitionistic Logics as Dialgebraic Logics"],"prefix":"10.1145","author":[{"given":"Jim","family":"de Groot","sequence":"first","affiliation":[{"name":"College of Engineering and Computer Science, The Australian National University, Canberra, Australian Capital Territory, Australia"}]},{"given":"Dirk","family":"Pattinson","sequence":"additional","affiliation":[{"name":"College of Engineering and Computer Science, The Australian National University, Canberra, Australian Capital Territory, Australia"}]}],"member":"320","published-online":{"date-parts":[[2020,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. CONCUR","author":"Ahn K.Y.","year":"2017","unstructured":"K.Y. Ahn , R. Horne , and A. Tiu . 2017. A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic . In Proc. CONCUR 2017 , R. Meyer and U. Nestmann (Eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 7:1--7:17. K.Y. Ahn, R. Horne, and A. Tiu. 2017. A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. In Proc. CONCUR 2017, R. Meyer and U. Nestmann (Eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 7:1--7:17."},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. CALCO","author":"Altenkirch T.","year":"2011","unstructured":"T. Altenkirch , P. Morris , F. Nordvall , and A. Setzer . 2011. A Categorical Semantics for Inductive-Inductive Definitions . In Proc. CALCO 2011 , A. Corradini, B. Klin, and C. C\u00eerstea (Eds.). Springer, Berlin, Heidelberg, 70--84. T. Altenkirch, P. Morris, F. Nordvall, and A. Setzer. 2011. A Categorical Semantics for Inductive-Inductive Definitions. In Proc. CALCO 2011, A. Corradini, B. Klin, and C. C\u00eerstea (Eds.). Springer, Berlin, Heidelberg, 70--84."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020315000374"},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. CALCO","author":"Bakhtiari Z.","year":"2017","unstructured":"Z. Bakhtiari and H.H. Hansen . 2017. Bisimulation for Weakly Expressive Coalgebraic Modal Logics . In Proc. CALCO 2017 , F. Bonchi and B. K\u00f6nig (Eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 4:1--4:16. Z. Bakhtiari and H.H. Hansen. 2017. Bisimulation for Weakly Expressive Coalgebraic Modal Logics. In Proc. CALCO 2017, F. Bonchi and B. K\u00f6nig (Eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 4:1--4:16."},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. CALCO","author":"Balan A.","year":"2011","unstructured":"A. Balan and A. Kurz . 2011. Finitary Functors: From Set to Preord and Poset . In Proc. CALCO 2011 , A. Corradini, B. Klin, and C. C\u00eerstea (Eds.). Springer, Berlin, Heidelberg, 85--99. A. Balan and A. Kurz. 2011. Finitary Functors: From Set to Preord and Poset. In Proc. CALCO 2011, A. Corradini, B. Klin, and C. C\u00eerstea (Eds.). Springer, Berlin, Heidelberg, 85--99."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-11(3:18)2015"},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. AIML","author":"Balbiani P.","year":"2016","unstructured":"P. Balbiani and D. Galmiche . 2016. About intuitionistic public announcement logic . In Proc. AIML 2016 , L.D. Beklemishev, S. Demri, and A. Mat\u00e9 (Eds.). College Publications, London, England, 97--116. P. Balbiani and D. Galmiche. 2016. About intuitionistic public announcement logic. In Proc. AIML 2016, L.D. Beklemishev, S. Demri, and A. Mat\u00e9 (Eds.). College Publications, London, England, 97--116."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10485-011-9265-0"},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. TbiLLC","author":"Bezhanishvili N.","year":"2013","unstructured":"N. Bezhanishvili , D. Coumans , S.J. van Gool , and D. de Jongh . 2015. Duality and Universal Models for the Meet-Implication Fragment of IPC . In Proc. TbiLLC 2013 , M. Aher, D. Hole, E. Jef\u00e1bek, and C. Kupke (Eds.). Springer , Berlin Heidelberg, 97--116. N. Bezhanishvili, D. Coumans, S.J. van Gool, and D. de Jongh. 2015. Duality and Universal Models for the Meet-Implication Fragment of IPC. In Proc. TbiLLC 2013, M. Aher, D. Hole, E. Jef\u00e1bek, and C. Kupke (Eds.). Springer, Berlin Heidelberg, 97--116."},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. CALCO","author":"Bezhanishvili N.","year":"2019","unstructured":"N. Bezhanishvili , J. de Groot , and Y. Venema . 2019. Coalgebraic Geometric Logic . In Proc. CALCO 2019 , M. Roggenbach and A. Sokolova (Eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 7:1--7:18. N. Bezhanishvili, J. de Groot, and Y. Venema. 2019. Coalgebraic Geometric Logic. In Proc. CALCO 2019, M. Roggenbach and A. Sokolova (Eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 7:1--7:18."},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. CALCO","author":"Bezhanishvili N.","year":"2007","unstructured":"N. Bezhanishvili and A. Kurz . 2007. Free Modal Algebras: A Coalgebraic Perspective . In Proc. CALCO 2007 , T. Mossakowski, U. Montanari, and M. Haveraaen (Eds.). Springer, Berlin, Heidelberg, 143--157. N. Bezhanishvili and A. Kurz. 2007. Free Modal Algebras: A Coalgebraic Perspective. In Proc. CALCO 2007, T. Mossakowski, U. Montanari, and M. Haveraaen (Eds.). Springer, Berlin, Heidelberg, 143--157."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"P.Blackburn M. de Rijke and Y. Venema. 2001. Modal Logic. Cambridge University Press Cambridge. P.Blackburn M. de Rijke and Y. Venema. 2001. Modal Logic. Cambridge University Press Cambridge.","DOI":"10.1017\/CBO9781107050884"},{"volume-title":"observation and denotation. Master's thesis","author":"Blok A.","key":"e_1_3_2_1_13_1","unstructured":"A. Blok . 2012. Interaction , observation and denotation. Master's thesis . Institute for Logic, Language and Computation, University of Amsterdam . Available at https:\/\/eprints.illc.uva.nl\/872\/1\/MoL-2012--06.text.pdf. A. Blok. 2012. Interaction, observation and denotation. Master's thesis. Institute for Logic, Language and Computation, University of Amsterdam. Available at https:\/\/eprints.illc.uva.nl\/872\/1\/MoL-2012--06.text.pdf."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1038\/hdy.2009.83"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02429840"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093958154"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.2307\/2269696"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"A. Chagrov and M. Zakharyaschev. 1997. Modal Logic. Oxford University Press Oxford. A. Chagrov and M. Zakharyaschev. 1997. Modal Logic. Oxford University Press Oxford.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40206-7_10"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"I. Ciardelli and X. Liu. 2019. Intuitionistic Conditional Logics. Journal of Philosophical Logic (2019). I. Ciardelli and X. Liu. 2019. Intuitionistic Conditional Logics. Journal of Philosophical Logic (2019).","DOI":"10.1007\/s10992-019-09538-4"},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. CALCO","author":"Dahlqvist F.","year":"2017","unstructured":"F. Dahlqvist and A. Kurz . 2017. The Positivication of Coalgebraic Logics . In Proc. CALCO 2017 , F. Bonchi and B. K\u00f6nig (Eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 9:1--9:15. F. Dahlqvist and A. Kurz. 2017. The Positivication of Coalgebraic Logics. In Proc. CALCO 2017, F. Bonchi and B. K\u00f6nig (Eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 9:1--9:15."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2009.07.009"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exy001"},{"key":"e_1_3_2_1_25_1","first-page":"147","article-title":"Topological Kripke models","volume":"15","author":"Esakia L.L.","year":"1974","unstructured":"L.L. Esakia . 1974 . Topological Kripke models . Soviet Mathematics Doklady 15 (1974), 147 -- 151 . L.L. Esakia. 1974. Topological Kripke models. Soviet Mathematics Doklady 15 (1974), 147--151.","journal-title":"Soviet Mathematics Doklady"},{"volume-title":"Duality Theory","author":"Esakia L.L.","key":"e_1_3_2_1_26_1","unstructured":"L.L. Esakia . 1985. Heyting Algebras I , Duality Theory . Metsniereba Press , Tbilisi, Georgia . In Russian. L.L. Esakia. 1985. Heyting Algebras I, Duality Theory. Metsniereba Press, Tbilisi, Georgia. In Russian."},{"volume-title":"Springer International Publishing","author":"Esakia L.L.","key":"e_1_3_2_1_27_1","unstructured":"L.L. Esakia . 2019. Heyting Algebras . Springer International Publishing , Springer . Translated by A. Evseev. L.L. Esakia. 2019. Heyting Algebras. Springer International Publishing, Springer. Translated by A. Evseev."},{"key":"e_1_3_2_1_28_1","volume-title":"Proc. LICS","author":"Furber R.","year":"2017","unstructured":"R. Furber , D. Kozen , K.G. Larsen , R. Mardare , and P. Panangaden . 2017. Unrestricted stone duality for Markov processes . In Proc. LICS 2017 . IEEE Press, Reykjavik, Iceland, 1--9. R. Furber, D. Kozen, K.G. Larsen, R. Mardare, and P. Panangaden. 2017. Unrestricted stone duality for Markov processes. In Proc. LICS 2017. IEEE Press, Reykjavik, Iceland, 1--9."},{"volume-title":"Logics and Models of Concurrent Systems","author":"Gabbay D.M.","key":"e_1_3_2_1_29_1","unstructured":"D.M. Gabbay . 1985. Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems . In Logics and Models of Concurrent Systems , K.R. Apt (Ed.). Springer , Berlin, Heidelberg , 439--457. D.M. Gabbay. 1985. Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems. In Logics and Models of Concurrent Systems, K.R. Apt (Ed.). Springer, Berlin, Heidelberg, 439--457."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"M. Girlando S. Negri and N. Olivetti. 2020. Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. arXiv:2002.05958 M. Girlando S. Negri and N. Olivetti. 2020. Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. arXiv:2002.05958","DOI":"10.1093\/logcom\/exab019"},{"key":"e_1_3_2_1_32_1","volume-title":"Proc. WoLLIC","author":"Girlando M.","year":"2019","unstructured":"M. Girlando , S. Negri , and G. Sbardolini . 2019. Uniform Labelled Calculi for Conditional and Counterfactual Logics . In Proc. WoLLIC 2019 , R. Iemhoff, M. Moortgat, and R. de Queiroz (Eds.). Springer, Berlin, Heidelberg, 248--263. M. Girlando, S. Negri, and G. Sbardolini. 2019. Uniform Labelled Calculi for Conditional and Counterfactual Logics. In Proc. WoLLIC 2019, R. Iemhoff, M. Moortgat, and R. de Queiroz (Eds.). Springer, Berlin, Heidelberg, 248--263."},{"key":"e_1_3_2_1_33_1","first-page":"41","article-title":"Metamathematics of modal logic I","volume":"6","author":"Goldblatt R.I.","year":"1976","unstructured":"R.I. Goldblatt . 1976 . Metamathematics of modal logic I . Reports on Mathematical Logic 6 (1976), 41 -- 78 . R.I. Goldblatt. 1976. Metamathematics of modal logic I. Reports on Mathematical Logic 6 (1976), 41--78.","journal-title":"Reports on Mathematical Logic"},{"key":"e_1_3_2_1_34_1","first-page":"21","article-title":"Metamathematics of modal logic II","volume":"6","author":"Goldblatt R.I.","year":"1976","unstructured":"R.I. Goldblatt . 1976 . Metamathematics of modal logic II . Reports on Mathematical Logic 6 (1976), 21 -- 52 . R.I. Goldblatt. 1976. Metamathematics of modal logic II. Reports on Mathematical Logic 6 (1976), 21--52.","journal-title":"Reports on Mathematical Logic"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19810273104"},{"volume-title":"Mathematics of Modality. CSLI publications","author":"Goldblatt R.I.","key":"e_1_3_2_1_36_1","unstructured":"R.I. Goldblatt . 1993. Mathematics of Modality. CSLI publications , Stanford, California . R.I. Goldblatt. 1993. Mathematics of Modality. CSLI publications, Stanford, California."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"R. I. Goldblatt and S. K. Thomason. 1974. Axiomatic classes in propositional modal logic. In Algebra and Logic J.N. Crossley (Ed.). Springer Berlin Heidelberg 163--173. R. I. Goldblatt and S. K. Thomason. 1974. Axiomatic classes in propositional modal logic. In Algebra and Logic J.N. Crossley (Ed.). Springer Berlin Heidelberg 163--173.","DOI":"10.1007\/BFb0062855"},{"key":"e_1_3_2_1_38_1","volume-title":"Proc. WoLLIC","author":"de Groot J.","year":"2019","unstructured":"J. de Groot and D. Pattinson . 2019. Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic . In Proc. WoLLIC 2019 , R. Iemhoff, M. Moortgat, and R. de Queiroz (Eds.). Springer, Berlin, Heidelberg, 161--176. J. de Groot and D. Pattinson. 2019. Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic. In Proc. WoLLIC 2019, R. Iemhoff, M. Moortgat, and R. de Queiroz (Eds.). Springer, Berlin, Heidelberg, 161--176."},{"volume-title":"Monotonic modal logics. Master's thesis","author":"Hansen H.H.","key":"e_1_3_2_1_40_1","unstructured":"H.H. Hansen . 2003. Monotonic modal logics. Master's thesis . Institute for Logic, Language and Computation, University of Amsterdam . H.H. Hansen. 2003. Monotonic modal logics. Master's thesis. Institute for Logic, Language and Computation, University of Amsterdam."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.028"},{"key":"e_1_3_2_1_42_1","volume-title":"Proc. CONCUR","volume":"140","author":"Hausmann D.","year":"2019","unstructured":"D. Hausmann and L. Schr\u00f6der . 2019. Game-Based Local Model Checking for the Coalgebraic mu-Calculus . In Proc. CONCUR 2019 , W. Fokkink and R. van Glabbeek (Eds.) , Vol. 140 . Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 35:1--35:16. D. Hausmann and L. Schr\u00f6der. 2019. Game-Based Local Model Checking for the Coalgebraic mu-Calculus. In Proc. CONCUR 2019, W. Fokkink and R. van Glabbeek (Eds.), Vol. 140. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 35:1--35:16."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2725"},{"volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"Hirai Y.","key":"e_1_3_2_1_44_1","unstructured":"Y. Hirai . 2010. An intuitionistic epistemic logic for sequential consistency on shared memory . In Logic for Programming, Artificial Intelligence, and Reasoning , E.M. Clarke and A. Voronkov (Eds.). Springer , Berlin, Heidelberg , 272--289. Y. Hirai. 2010. An intuitionistic epistemic logic for sequential consistency on shared memory. In Logic for Programming, Artificial Intelligence, and Reasoning, E.M. Clarke and A. Voronkov (Eds.). Springer, Berlin, Heidelberg, 272--289."},{"key":"e_1_3_2_1_45_1","volume-title":"Proc. LICS","author":"Horne R.","year":"2018","unstructured":"R. Horne , K.Y. Ahn , S.-W. Lin , and A. Tiu . 2018. Quasi-Open Bisimilarity with Mismatch is Intuitionistic . In Proc. LICS 2018 , A. Dawar and E. Gr\u00e4del (Eds.). Association for Computing Machinery, New York, NY, USA, 26--35. R. Horne, K.Y. Ahn, S.-W. Lin, and A. Tiu. 2018. Quasi-Open Bisimilarity with Mismatch is Intuitionistic. In Proc. LICS 2018, A. Dawar and E. Gr\u00e4del (Eds.). Association for Computing Machinery, New York, NY, USA, 26--35."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2016.04.004"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.2307\/2372123"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.02.034"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzr044"},{"key":"e_1_3_2_1_50_1","volume-title":"Proc. CALCO","author":"Kupke C.","year":"2005","unstructured":"C. Kupke , A. Kurz , and D. Pattinson . 2005. Ultrafilter Extensions for Coalgebras . In Proc. CALCO 2005 , J.L. Fiadeiro, N. Harman, M. Roggenbach, and J. Rutten (Eds.). Springer, Berlin, Heidelberg, 263--277. C. Kupke, A. Kurz, and D. Pattinson. 2005. Ultrafilter Extensions for Coalgebras. In Proc. CALCO 2005, J.L. Fiadeiro, N. Harman, M. Roggenbach, and J. Rutten (Eds.). Springer, Berlin, Heidelberg, 263--277."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.023"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.04.023"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn094"},{"key":"e_1_3_2_1_54_1","volume-title":"Proc. CALCO","author":"Kurz A.","year":"2007","unstructured":"A. Kurz and J. Rosick\u00fd . 2007. The Goldblatt-Thomason Theorem for Coalgebras . In Proc. CALCO 2007 , T. Mossakowski, U. Montanari, and M. Haveraaen (Eds.). Springer, Berlin, Heidelberg, 342--355. A. Kurz and J. Rosick\u00fd. 2007. The Goldblatt-Thomason Theorem for Coalgebras. In Proc. CALCO 2007, T. Mossakowski, U. Montanari, and M. Haveraaen (Eds.). Springer, Berlin, Heidelberg, 342--355."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"crossref","unstructured":"A. Kurz and J. Rosick\u00fd. 2012. Strongly Complete Logics for Coalgebras. Logical Methods in Computer Science 8 (2012). A. Kurz and J. Rosick\u00fd. 2012. Strongly Complete Logics for Coalgebras. Logical Methods in Computer Science 8 (2012).","DOI":"10.2168\/LMCS-8(3:14)2012"},{"volume-title":"Leo Esakia on Duality in Modal and Intuitionistic Logics","author":"Litak T.","key":"e_1_3_2_1_56_1","unstructured":"T. Litak . 2014. Constructive Modalities with Provability Smack . In Leo Esakia on Duality in Modal and Intuitionistic Logics , G. Bezhanishvili (Ed.). Springer Netherlands , Dordrecht , 187--216. T. Litak. 2014. Constructive Modalities with Provability Smack. In Leo Esakia on Duality in Modal and Intuitionistic Logics, G. Bezhanishvili (Ed.). Springer Netherlands, Dordrecht, 187--216."},{"key":"e_1_3_2_1_57_1","unstructured":"T. Litak. 2017. Constructive Modalities with Provability Smack. arXiv:1708.05607 T. Litak. 2017. Constructive Modalities with Provability Smack. arXiv:1708.05607"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2013.11.004"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.2298\/PIM0373031M"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.2307\/1969080"},{"key":"e_1_3_2_1_61_1","unstructured":"P.J. Morandi. 2005. Dualities in Lattice Theory. Available at http:\/\/sierra.nmsu.edu\/morandi\/notes\/Duality.pdf. P.J. Morandi. 2005. Dualities in Lattice Theory. Available at http:\/\/sierra.nmsu.edu\/morandi\/notes\/Duality.pdf."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(98)00042-6"},{"key":"e_1_3_2_1_63_1","volume-title":"A coalgebraic view on positive modal logic. Theoretical Computer Science 327 (10","author":"Palmigiano A.","year":"2004","unstructured":"A. Palmigiano . 2004. A coalgebraic view on positive modal logic. Theoretical Computer Science 327 (10 2004 ), 175--195. A. Palmigiano. 2004. A coalgebraic view on positive modal logic. Theoretical Computer Science 327 (10 2004), 175--195."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(03)00201-9"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2009.11.008"},{"key":"e_1_3_2_1_66_1","volume-title":"Proc. TARK","author":"Plotkin G.","year":"1986","unstructured":"G. Plotkin and C. Stirling . 1986. A Framework for Intuitionistic Modal Logics: Extended Abstract . In Proc. TARK 1986 . Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 399--406. G. Plotkin and C. Stirling. 1986. A Framework for Intuitionistic Modal Logics: Extended Abstract. In Proc. TARK 1986. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 399--406."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80915-0"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1112\/blms\/2.2.186"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-011-9207-1"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exq058"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70728-6"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274758"},{"volume-title":"Foundations of Software Science and Computational Structures","author":"Schr\u00f6der L.","key":"e_1_3_2_1_74_1","unstructured":"L. Schr\u00f6der . 2005. Expressivity of Coalgebraic Modal Logic: The Limits and Beyond . In Foundations of Software Science and Computational Structures , V. Sassone (Ed.). Springer, Berlin , Heidelberg , 440--454. L. Schr\u00f6der. 2005. Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. In Foundations of Software Science and Computational Structures, V. Sassone (Ed.). Springer, Berlin, Heidelberg, 440--454."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn096"},{"volume-title":"Italian Studies in the Philosophy of Science","author":"Servi G. Fischer","key":"e_1_3_2_1_76_1","unstructured":"G. Fischer Servi . 1981. Semantics for a Class of Intuitionistic Modal Calculi . In Italian Studies in the Philosophy of Science , M. Luisa D. Chiara (Ed.). Springer Netherlands , Dordrecht , 59--72. G. Fischer Servi. 1981. Semantics for a Class of Intuitionistic Modal Calculi. In Italian Studies in the Philosophy of Science, M. Luisa D. Chiara (Ed.). Springer Netherlands, Dordrecht, 59--72."},{"volume-title":"Power domains and predicate transformers: A topological view","author":"Smyth M.B.","key":"e_1_3_2_1_78_1","unstructured":"M.B. Smyth . 1983. Power domains and predicate transformers: A topological view . In Automata, Languages and Programming, J. Diaz (Ed.). Springer, Berlin , Heidelberg , 662--675. M.B. Smyth. 1983. Power domains and predicate transformers: A topological view. In Automata, Languages and Programming, J. Diaz (Ed.). Springer, Berlin, Heidelberg, 662--675."},{"key":"e_1_3_2_1_79_1","volume-title":"Relating coalgebraic notions of bisimulation. Logical Methods in Computer Sciences 7, 1","author":"Staton S.","year":"2011","unstructured":"S. Staton . 2011. Relating coalgebraic notions of bisimulation. Logical Methods in Computer Sciences 7, 1 ( 2011 ). S. Staton. 2011. Relating coalgebraic notions of bisimulation. Logical Methods in Computer Sciences 7, 1 (2011)."},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2015.11.003"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exv042"},{"key":"e_1_3_2_1_82_1","first-page":"37","article-title":"The theory of representations for Boolean algebras","volume":"40","author":"Stone M.H.","year":"1936","unstructured":"M.H. Stone . 1936 . The theory of representations for Boolean algebras . Transactions of the American Mathematical Society 40 (1936), 37 -- 111 . M.H. Stone. 1936. The theory of representations for Boolean algebras. Transactions of the American Mathematical Society 40 (1936), 37--111.","journal-title":"Transactions of the American Mathematical Society"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1039886520"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-018-9471-4"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2004.12.001"},{"key":"e_1_3_2_1_87_1","first-page":"63","article-title":"On intuitionistic modal epistemic logic","volume":"21","author":"Williamson T.","year":"1992","unstructured":"T. Williamson . 1992 . On intuitionistic modal epistemic logic . Journal of Philosophy 21 , 1 (1992), 63 -- 89 . T. Williamson. 1992. On intuitionistic modal epistemic logic. Journal of Philosophy 21, 1 (1992), 63--89.","journal-title":"Journal of Philosophy"},{"key":"e_1_3_2_1_88_1","volume-title":"Proc. Logic, Methodology and Philosophy of Science","author":"Wolter F.","year":"1995","unstructured":"F. Wolter and M. Zakharyaschev . 1999. Intuitionistic Modal Logic . In Proc. Logic, Methodology and Philosophy of Science 1995 , A. Cantini, E. Casari, and P. Minari (Eds.). Springer Netherlands, Dordrecht, 227--238. F. Wolter and M. Zakharyaschev. 1999. Intuitionistic Modal Logic. In Proc. Logic, Methodology and Philosophy of Science 1995, A. Cantini, E. Casari, and P. Minari (Eds.). Springer Netherlands, Dordrecht, 227--238."},{"key":"e_1_3_2_1_89_1","first-page":"177","article-title":"General Characterization Results on Intuitionistic Modal Propositional Logics","volume":"34","author":"Yokota S.","year":"1985","unstructured":"S. Yokota . 1985 . General Characterization Results on Intuitionistic Modal Propositional Logics . Commentarii Mathematici Universitatis Sancti Pauli 34 , 2 (1985), 177 -- 199 . S. Yokota. 1985. General Characterization Results on Intuitionistic Modal Propositional Logics. Commentarii Mathematici Universitatis Sancti Pauli 34, 2 (1985), 177--199.","journal-title":"Commentarii Mathematici Universitatis Sancti Pauli"}],"event":{"name":"LICS '20: 35th Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"],"location":"Saarbr\u00fccken Germany","acronym":"LICS '20"},"container-title":["Proceedings of the 35th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373718.3394807","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373718.3394807","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:46Z","timestamp":1750200106000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373718.3394807"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,8]]},"references-count":84,"alternative-id":["10.1145\/3373718.3394807","10.1145\/3373718"],"URL":"https:\/\/doi.org\/10.1145\/3373718.3394807","relation":{},"subject":[],"published":{"date-parts":[[2020,7,8]]},"assertion":[{"value":"2020-07-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}