Hennessy-Milner and van Benthem for instantial neighbourhood logic

DOI10.1007/S11225-021-09975-WMaRDI QIDQ2144186zbMATH OpenOpenAlexFDO

Authors Jim de Groot

Publication date 1 June 2022

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-021-09975-w

zbMATH Keywords

bisimulationHennessy-Milner theoreminstantial neighbourhood logicmodal logicvan Benthem theorem

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Instantial neighbourhood logic
• Neighbourhood Contingency Bisimulation
• Duality for instantial neighbourhood logic via coalgebra
• Bisimulation for Neighbourhood Structures
• A propositional dynamic logic for instantial neighborhood models

Cites work

• A calculus of communicating systems
• A new game equivalence, its logic and algebra
• A new semantics for positive modal logic
• A propositional dynamic logic for instantial neighborhood semantics
• A tableau system for instantial neighborhood logic
• A van Benthem/Rosen theorem for coalgebraic predicate logic
• Algebraic laws for nondeterminism and concurrency
• Automata for the modal -calculus and related results
• Bi-simulating in bi-intuitionistic logic
• Bisimulation and propositional intuitionistic logic
• Coalgebraic predicate logic
• Coalgebraic semantics of modal logics: an overview
• Completeness for \(\mu\)-calculi: a coalgebraic approach
• Duality for instantial neighbourhood logic via coalgebra
• Expressivity of coalgebraic modal logic: the limits and beyond
• Hennessy-Milner properties for (modal) bi-intuitionistic logic
• Homomorphisms of coalgebras from predicate liftings
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 7189131 (Why is no real title available?)
• Instantial neighbourhood logic
• Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
• Modal languages for topology: expressivity and definability
• Modal logic
• Modal logic and the Vietoris functor
• Model theory
• Model theory of XPath on data trees. I: Bisimulation and characterization
• Model theory of XPath on data trees. II: Binary bisimulation and definability
• Model-theoretic characterization of intuitionistic propositional formulas
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• PDL is the bisimulation-invariant fragment of weak chain logic
• Positive modal logic
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Simulations and bisimulations for coalgebraic modal logics
• Some modal aspects of XPath
• Topological model theory
• Universal coalgebra: A theory of systems

Cited in

(6)

• Duality for instantial neighbourhood logic via coalgebra
• Decidable Extensions of Hennessy-Milner Logic
• Apartness and distinguishing formulas in Hennessy-Milner logic
• Inquisitive neighborhood logic
• A correspondence theorem for interpretability logic with respect to Verbrugge semantics
• Intuitionistic monotone modal logic via translation

This page was built for publication: Hennessy-Milner and van Benthem for instantial neighbourhood logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2144186)