Hennessy-Milner and van Benthem for instantial neighbourhood logic

DOI10.1007/s11225-021-09975-wOpenAlexW4206168755MaRDI QIDQ2144186

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

modal logicbisimulationHennessy-Milner theoreminstantial neighbourhood logicvan Benthem theorem

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bi-simulating in bi-intuitionistic logic
• Coalgebraic semantics of modal logics: an overview
• Modal languages for topology: expressivity and definability
• Topological model theory
• A calculus of communicating systems
• A new semantics for positive modal logic
• Model theory
• Universal coalgebra: A theory of systems
• A tableau system for instantial neighborhood logic
• Completeness for \(\mu\)-calculi: a coalgebraic approach
• Positive modal logic
• Duality for instantial neighbourhood logic via coalgebra
• Hennessy-Milner properties for (modal) bi-intuitionistic logic
• A propositional dynamic logic for instantial neighborhood semantics
• A new game equivalence, its logic and algebra
• Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
• Model theory of XPath on data trees. II: Binary bisimulation and definability
• Expressivity of coalgebraic modal logic: the limits and beyond
• Homomorphisms of Coalgebras from Predicate Liftings
• Simulations and Bisimulations for Coalgebraic Modal Logics
• Some modal aspects of XPath
• Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization
• A Van Benthem/Rosen theorem for coalgebraic predicate logic
• Coalgebraic Predicate Logic
• Automata for the modal μ-calculus and related results
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Algebraic laws for nondeterminism and concurrency
• PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic
• MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Modal Logic and the Vietoris Functor
• INSTANTIAL NEIGHBOURHOOD LOGIC
• Bisimulation and propositional intuitionistic logic

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