@inproceedings{f6e672b99c8a47eb868105c6c998bf8a,
title = "Modal Intuitionistic Logics as Dialgebraic Logics",
abstract = "Duality is one of the key techniques in the categorical treatment of modal logics. From the duality between (modal) algebras and (descriptive) frames one derives e.g. completeness (via a syntactic characterisation of algebras) or definability (using a suitable version of the Goldblatt-Thomason theorem). This is by now well understood for classical modal logics and modal logics based on distributive lattices, via extensions of Stone and Priestley duality, respectively. What is conspicuously absent is a comprehensive treatment of modal intuitionistic logic. This is the gap we are closing in this paper. Our main conceptual insight is that modal intuitionistic logics do not appear as algebra/coalgebra dualities, but instead arise naturally as dialgebras. Our technical contribution is the development of dualities for dialgebras, together with their logics, that instantiate to large class of modal intuitionistic logics and their frames as special cases. We derive completeness and expressiveness results in this general case. For modal intuitionistic logic, this systematises the existing treatment in the literature.",
keywords = "coalgebraic logic, dialgebras, modal logic",
author = "{De Groot}, Jim and Dirk Pattinson",
note = "Publisher Copyright: {\textcopyright} 2020 ACM.; 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020 ; Conference date: 08-07-2020 Through 11-07-2020",
year = "2020",
month = jul,
day = "8",
doi = "10.1145/3373718.3394807",
language = "English",
series = "ACM International Conference Proceeding Series",
publisher = "Association for Computing Machinery (ACM)",
pages = "355--369",
booktitle = "Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020",
address = "United States",
}