Neighbourhood Contingency Bisimulation

DOI10.1007/978-3-662-54069-5_5MaRDI QIDQ5224490zbMATH OpenOpenAlexFDO

Authors Zeinab Bakhtiari, Helle Hvid Hansen, Hans van Ditmarsch

Publication date 24 July 2019

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://ir.cwi.nl/pub/25476

zbMATH Keywords

modal logicclosure propertyKripke modelKripke frameneighbourhood model

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45)

Recommendations

• Bisimulation for Neighbourhood Structures
• Constrained simulations, nested simulation semantics and counting bisimulations
• Bisimulation for conditional modalities
• Bisimulations of probabilistic Boolean networks
• Probabilistic bisimulation
• Next-preserving branching bisimulation
• Concurrent bisimulations in Petri nets
• scientific article; zbMATH DE number 4166873
• Bisimulations of Boolean Control Networks
• Neighborhood contingency logic

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3460246 (Why is no real title available?)
• A logic for ignorance
• A note on logics of ignorance and borders
• Almost necessary
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Completeness and definability in the logic of noncontingency
• Contingency and knowing whether
• Minimal non-contingency logic
• Neighborhood contingency logic
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Philosophical problems in logic. Some recent developments
• The logic of non-contingency
• Universal grammar

Cited in

(7)

• Neighborhood contingency logic
• A road to ultrafilter extensions
• Bisimulation for Neighbourhood Structures
• A unified logic for contingency and accident
• scientific article; zbMATH DE number 7577568 (Why is no real title available?)
• A family of neighborhood contingency logics
• BISIMULATIONS FOR KNOWING HOW LOGICS

This page was built for publication: Neighbourhood Contingency Bisimulation

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