Bisimulation for conditional modalities

DOI10.1007/S11225-017-9723-2zbMath1437.03083OpenAlexW2612833251WikidataQ59517350 ScholiaQ59517350MaRDI QIDQ1708097

Giovanni Cinà, Alexandru Baltag

Publication date: 4 April 2018

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://pure.uva.nl/ws/files/22165558/Bisimulation_for_conditional_modalities.pdf

zbMATH Keywords

modal logicbisimulationconditional logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Related Items (3)

BISIMULATIONS FOR KNOWING HOW LOGICS ⋮ Hennessy-Milner properties via topological compactness ⋮ Generalized Quantifiers Meet Modal Neighborhood Semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic logics of evidence-based beliefs
• Logics of communication and change
• Two modellings for theory change
• Nonmonotonic reasoning, preferential models and cumulative logics
• Basic conditional logic
• Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
• Dynamic interactive epistemology
• Some remarks on the model theory of epistemic plausibility models
• Tracking Information
• Dynamic logic for belief revision
• Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
• Semantics for relevant logics

This page was built for publication: Bisimulation for conditional modalities