Bisimulation for Neighbourhood Structures

DOI10.1007/978-3-540-73859-6_19MaRDI QIDQ3612496zbMATH OpenOpenAlexFDO

Authors Helle Hvid Hansen, Clemens Kupke, Eric Pacuit

Publication date 10 March 2009

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73859-6_19

zbMATH Keywords

behavioural equivalencebisimulationinvarianceneighbourhood semanticsnon-normal modal logic

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

• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• A coalgebraic perspective on monotone modal logic
• Bisimulation for weakly expressive coalgebraic modal logics
• Neighbourhood Contingency Bisimulation
• Bisimulations for coalgebras on Stone spaces

Cited in

(12)

• Modal languages for topology: expressivity and definability
• Modelling simultaneous games in dynamic logic
• Hennessy-Milner and van Benthem for instantial neighbourhood logic
• Coalgebras, Chu spaces, and representations of physical systems
• Terminal Sequence Induction via Games
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• BISIMULATIONS FOR KNOWING HOW LOGICS
• Neighbourhood Contingency Bisimulation
• Transitivity and difunctionality of bisimulations
• Epistemic Logics of Structured Intensional Groups
• Logics of true belief
• Revisiting epistemic logic with names

This page was built for publication: Bisimulation for Neighbourhood Structures

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