Hennessy-Milner properties via topological compactness

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...

Full description

Saved in:
Bibliographic Details
Published in:Information and computation 2022-09, Vol.287, p.104757, Article 104757
Main Authors: de Groot, Jim, Pattinson, Dirk
Format: Article
Language:English
Subjects:
Bi-intuitionistic logic
Bisimulation
Hennessy-Milner property
Intuitionistic logic
Modal logic
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0890-5401
1090-2651
DOI:10.1016/j.ic.2021.104757