Neighbourhood Contingency Bisimulation

DOI10.1007/978-3-662-54069-5_5zbMath1485.03063OpenAlexW2558767234MaRDI QIDQ5224490

Zeinab Bakhtiari, Helle Hvid Hansen, Hans P. 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 logicKripke modelclosure propertyKripke frameneighbourhood model

Mathematics Subject Classification ID

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

Related Items

A unified logic for contingency and accident, BISIMULATIONS FOR KNOWING HOW LOGICS, A Road to Ultrafilter Extensions, Unnamed Item, A family of neighborhood contingency logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on logics of ignorance and borders
• Completeness and definability in the logic of noncontingency
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• The logic of non-contingency
• Minimal non-contingency logic
• Philosophical problems in logic. Some recent developments
• Neighborhood Contingency Logic
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• CONTINGENCY AND KNOWING WHETHER
• Universal grammar