Hennessy-Milner Properties via Topological Compactness
Logic
2021-05-06 v1
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.
Cite
@article{arxiv.2105.01855,
title = {Hennessy-Milner Properties via Topological Compactness},
author = {Jim de Groot and Dirk Pattinson},
journal= {arXiv preprint arXiv:2105.01855},
year = {2021}
}