Modal intuitionistic logics as dialgebraic logics

DOI10.1145/3373718.3394807zbMATH Open1498.03050OpenAlexW3031573046WikidataQ130841261 ScholiaQ130841261MaRDI QIDQ5145647FDOQ5145647

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

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

zbMATH Keywords

modal logiccoalgebraic logicdialgebras

Mathematics Subject Classification ID

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

Cited In (7)

• A duality for distributive unimodal logic
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• Title not available (Why is that?)
• Monotone subintuitionistic logic: duality and transfer results
• Hennessy-Milner properties via topological compactness
• A modal extension of Jaśkowski’s discussive logic $\textbf{D}_\textbf{2}$
• Completeness results for intuitionistic and modal logic in a categorical setting

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)