Hennessy-Milner properties for (modal) bi-intuitionistic logic

DOI10.1007/978-3-662-59533-6_10MaRDI QIDQ2303586zbMATH OpenOpenAlexFDO

Authors Jim de Groot, Dirk Pattinson

Publication date 4 March 2020

Full work available at URL https://doi.org/10.1007/978-3-662-59533-6_10

zbMATH Keywords

bi-intuitionistic logicbisimulationHennessy-Milner propertymodal logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Hennessy-Milner properties via topological compactness
• Bi-simulating in bi-intuitionistic logic
• Maximality of bi-intuitionistic propositional logic
• A Hennessy-Milner property for many-valued modal logics
• A duality for distributive unimodal logic

Cited in

(6)

• Hennessy-Milner and van Benthem for instantial neighbourhood logic
• Hennessy-Milner properties via topological compactness
• A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions
• Maximality of bi-intuitionistic propositional logic
• Apartness and distinguishing formulas in Hennessy-Milner logic
• Dual counterpart intuitionistic logic

This page was built for publication: Hennessy-Milner properties for (modal) bi-intuitionistic logic

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