Hennessy-Milner Properties via Topological Compactness

2021/05/05 by de Groot, Jim, Pattinson, Dirk · 2 citations
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2105.01855

Abstract

We give Hennessy-Milner classes for intuitionistic, dual-intuitionistic and bi-intuitionistic logic interpreted in intuitionistic Kripke models, and generalise these results to modal (dual- and bi-)intuitionistic logics. Our main technical tools are image-compact and pre-image-compact relations that provide a semantical description of modal saturation properties.

Cited by

• Uniform Interpolation
• Intrinsic and relative characterization results for logics with negative modalities

Related

• Intuitionistic logic, dual intuitionistic logic, and modality
• Kripke-like models of Set Theory in Modal Residuated Logic
• Higher-order Kripke models for intuitionistic and non-classical modal logics
• Definable Classes of Models and Frames in Bi-intuitionistic Logic
• A model category for modal logic