Neighbourhood Structures: Bisimilarity and Basic Model Theory

DOI10.2168/LMCS-5(2:2)2009zbMath1172.03011MaRDI QIDQ3636801

Clemens Kupke, Eric Pacuit, Helle Hvid Hansen

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

invariance; coalgebra; bisimulation; behavioural equivalence; van Benthem's characterization theorem; non-normal modal logic; Hennessy-Milner theorem; neighbourhood semantics; Craig interpolation lemma

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03G30: Categorical logic, topoi

18C10: Theories (e.g., algebraic theories), structure, and semantics

18C50: Categorical semantics of formal languages

03C90: Nonclassical models (Boolean-valued, sheaf, etc.)

Related Items

Reasoning about Strategies, 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, Unnamed Item, INSTANTIAL NEIGHBOURHOOD LOGIC, To be announced, Kantorovich functors and characteristic logics for behavioural distances, Lax Liftings and Lax Distributive Laws, Evidence and plausibility in neighborhood structures, Properties of saturation in monotonic neighbourhood models and some applications, Coalgebraic semantics of modal logics: an overview, Dynamic logics of evidence-based beliefs, Generic weakest precondition semantics from monads enriched with order, 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, 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, Neighborhood Contingency Logic, Logical Dynamics of Evidence, Unnamed Item, A Road to Ultrafilter Extensions