Compatibility between modal operators in distributive modal logic

DOI10.1016/J.APAL.2025.103677MaRDI QIDQ6893213zbMATH OpenFDO

Authors Adam Přenosil

Publication date 26 November 2025

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2025.103677

zbMATH Keywords

distributive modal logicintuitionistic modal logicnon-classical modal logicpositive modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Equational classes, universal algebra in model theory (03C05) Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25)

Cites work

• A bi-intuitionistic modal logic: foundations and automation
• A duality for distributive unimodal logic
• A new semantics for positive modal logic
• A Sahlqvist theorem for distributive modal logic
• Hennessy-Milner properties via topological compactness
• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 1418447 (Why is no real title available?)
• Intuitionistic propositional logic with Galois connections
• Intuitionistic tense and modal logic
• Models for normal intuitionistic modal logics
• On modal logic with an intuitionistic base
• Positive modal logic
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic

This page was built for publication: Compatibility between modal operators in distributive modal logic

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