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.
Original language | English |
---|---|
Article number | 104757 |
Journal | Information and Computation |
Volume | 287 |
DOIs | |
Publication status | Published - Sept 2022 |