Hennessy-Milner properties via topological compactness
From MaRDI portal
Publication:2672663
DOI10.1016/j.ic.2021.104757OpenAlexW3159341201MaRDI QIDQ2672663
Publication date: 13 June 2022
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2105.01855
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
Cites Work
- A bi-intuitionistic modal logic: foundations and automation
- Bi-simulating in bi-intuitionistic logic
- Intuitionistic common knowledge or belief
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
- Models for normal intuitionistic modal logics
- A calculus of communicating systems
- On some intuitionistic modal logics
- Natural deduction for bi-intuitionistic logic
- Bisimulation for conditional modalities
- A formalization of the propositional calculus of H-B logic
- Basic intuitionistic conditional logic
- Intuitionistic conditional logics
- Duality for instantial neighbourhood logic via coalgebra
- Hennessy-Milner properties for (modal) bi-intuitionistic logic
- Vietoris Bisimulations
- Algebraic laws for nondeterminism and concurrency
- Institutions: abstract model theory for specification and programming
- A Formulae-as-Types Interpretation of Subtractive Logic
- Modal Intuitionistic Logics as Dialgebraic Logics
- INSTANTIAL NEIGHBOURHOOD LOGIC
- Bisimulation and propositional intuitionistic logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Hennessy-Milner properties via topological compactness
