Modal intuitionistic logics as dialgebraic logics

DOI10.1145/3373718.3394807MaRDI QIDQ5145647zbMATH OpenOpenAlexWikidataFDO

Authors Jim de Groot, Dirk Pattinson

Publication date 21 January 2021

Published in Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3373718.3394807

zbMATH Keywords

coalgebraic logicdialgebrasmodal logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Recommendations

• Topological duality for intuitionistic modal algebras
• scientific article; zbMATH DE number 3963793
• A duality for distributive unimodal logic
• Completeness results for intuitionistic and modal logic in a categorical setting
• scientific article; zbMATH DE number 1215472

Cited in

(11)

• Completeness results for intuitionistic and modal logic in a categorical setting
• Topological duality for intuitionistic modal algebras
• Monotone subintuitionistic logic: duality and transfer results
• Hennessy-Milner properties via topological compactness
• scientific article; zbMATH DE number 1215472 (Why is no real title available?)
• scientific article; zbMATH DE number 1231636 (Why is no real title available?)
• A duality for distributive unimodal logic
• A modal extension of Jaśkowski’s discussive logic $\textbf{D}_\textbf{2}$
• Modal meet-implication logic
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• Intuitionistic monotone modal logic via translation

This page was built for publication: Modal intuitionistic logics as dialgebraic logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145647)