Hennessy-Milner properties via topological compactness

Jim de Groot; Dirk Pattinson

doi:10.1016/j.ic.2021.104757

Hennessy-Milner properties via topological compactness

Jim de Groot^*
, Dirk Pattinson

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

3 Citations (Scopus)

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	https://doi.org/10.1016/j.ic.2021.104757
Publication status	Published - Sept 2022

Access to Document

10.1016/j.ic.2021.104757

Cite this

@article{e277c1c9260d48ffa5eb3fc4902a3364,

title = "Hennessy-Milner properties via topological compactness",

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

keywords = "Bi-intuitionistic logic, Bisimulation, Hennessy-Milner property, Intuitionistic logic, Modal logic",

author = "\{de Groot\}, Jim and Dirk Pattinson",

note = "Publisher Copyright: {\textcopyright} 2021 Elsevier Inc.",

year = "2022",

month = sep,

doi = "10.1016/j.ic.2021.104757",

language = "English",

volume = "287",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier Inc.",

}

TY - JOUR

T1 - Hennessy-Milner properties via topological compactness

AU - de Groot, Jim

AU - Pattinson, Dirk

PY - 2022/9

Y1 - 2022/9

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

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

KW - Bi-intuitionistic logic

KW - Bisimulation

KW - Hennessy-Milner property

KW - Intuitionistic logic

KW - Modal logic

UR - https://www.scopus.com/pages/publications/85105566914

U2 - 10.1016/j.ic.2021.104757

DO - 10.1016/j.ic.2021.104757

M3 - Article

AN - SCOPUS:85105566914

SN - 0890-5401

VL - 287

JO - Information and Computation

JF - Information and Computation

M1 - 104757

ER -

Hennessy-Milner properties via topological compactness

Abstract

Access to Document

Other files and links

Fingerprint

Cite this