Hennessy-Milner properties via topological compactness
Date
2022-06-08
Authors
Pattinson, Dirk
de Groot, Jim
Journal Title
Journal ISSN
Volume Title
Publisher
Springer Berlin Heidelberg
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.
Description
Keywords
Bi-intuitionistic logic, Modal logic, Bisimulation, Hennessy-Milner property
Citation
Collections
Source
Logic, Language, Information, and Computation
Type
Conference paper
Book Title
Entity type
Access Statement
License Rights
Restricted until
2099-12-31
Downloads
File
Description