Neighbourhood Structures: Bisimilarity and Basic Model Theory

DOI10.2168/LMCS-5(2:2)2009MaRDI QIDQ3636801zbMATH OpenOpenAlexFDO

Authors Helle Hvid Hansen, Clemens Kupke, Eric Pacuit

Publication date 30 June 2009

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/lmcs-5(2:2)2009

zbMATH Keywords

behavioural equivalencebisimulationcoalgebraCraig interpolation lemmaHennessy-Milner theoreminvarianceneighbourhood semanticsnon-normal modal logicvan Benthem's characterization theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50)

Recommendations

• Bisimulation for Neighbourhood Structures
• A coalgebraic perspective on monotone modal logic
• Bisimulations for coalgebras on Stone spaces
• Vietoris bisimulations
• scientific article; zbMATH DE number 1497872

Cited in

(45)

• Correspondence, canonicity, and model theory for monotonic modal logics
• Iterated covariant powerset is not a monad
• Hennessy-Milner and van Benthem for instantial neighbourhood logic
• Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
• Model theoretical aspects of weakly aggregative modal logic
• Duality for instantial neighbourhood logic via coalgebra
• A quantified coalgebraic van Benthem theorem
• Monotonic distributive semilattices
• Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
• Lax extensions of coalgebra functors and their logic
• Modular sequent calculi for classical modal logics
• A coalgebraic perspective on monotone modal logic
• Neighborhood contingency logic
• Vietoris bisimulations
• Logical dynamics of evidence
• A road to ultrafilter extensions
• Bisimulation in inquisitive modal logic
• Bisimulation for Neighbourhood Structures
• Evidence and plausibility in neighborhood structures
• Bisimulations for coalgebras on Stone spaces
• Reasoning about strategies
• Properties of saturation in monotonic neighbourhood models and some applications
• INQUISITIVE BISIMULATION
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
• Generalized Quantifiers Meet Modal Neighborhood Semantics
• Coalgebraic Geometric Logic: Basic Theory
• A first-order framework for inquisitive modal logic
• BISIMULATIONS FOR KNOWING HOW LOGICS
• Neighbourhood Contingency Bisimulation
• Instantial neighbourhood logic
• Coalgebraic geometric logic
• To be announced
• Kantorovich functors and characteristic logics for behavioural distances
• Lax Liftings and Lax Distributive Laws
• Coalgebraic semantics of modal logics: an overview
• Dynamic logics of evidence-based beliefs
• On bisimilarity for polyhedral models and \texttt{SLCS}
• Many-valued coalgebraic logic over semi-primal varieties
• Stone duality for relations
• A van Benthem theorem for atomic and molecular logics
• Modal equivalence, n-bisimulation and model comparison game for basic neighbourhood logic
• A correspondence theorem for interpretability logic with respect to Verbrugge semantics
• On bisimilarity for quasi-discrete closure spaces
• Intuitionistic monotone modal logic via translation
• Generic weakest precondition semantics from monads enriched with order

This page was built for publication: Neighbourhood Structures: Bisimilarity and Basic Model Theory

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