Bisimulation for conditional modalities
DOI10.1007/S11225-017-9723-2zbMATH Open1437.03083DBLPjournals/sLogica/BaltagC18OpenAlexW2612833251WikidataQ59517350 ScholiaQ59517350MaRDI QIDQ1708097FDOQ1708097
Authors: Alexandru Baltag, Giovanni Cinà 
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
Recommendations
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
- On the definability of simulation and bisimulation in epistemic logic
- scientific article; zbMATH DE number 7015161
- On the definability of simulability and bisimilarity by finite epistemic models
- Some remarks on the model theory of epistemic plausibility models
Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)
Cites Work
- Logics of communication and change
- Two modellings for theory change
- Nonmonotonic reasoning, preferential models and cumulative logics
- Dynamic logic for belief revision
- Title not available (Why is that?)
- A qualitative theory of dynamic interactive belief revision
- Conditional doxastic models: a qualitative approach to dynamic belief revision
- Some remarks on the model theory of epistemic plausibility models
- Title not available (Why is that?)
- Basic conditional logic
- Update, probability, knowledge and belief
- Dynamic logics of evidence-based beliefs
- Dynamic interactive epistemology
- Semantics for relevant logics
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
- Tracking information
- Epistemic probability logic simplified
Cited In (13)
- Neighbourhood Contingency Bisimulation
- On the definability of simulation and bisimulation in epistemic logic
- Title not available (Why is that?)
- Splitting bisimulations and retrospective conditions
- A bisimulation for dynamic sealing
- Hennessy-Milner properties via topological compactness
- Notions of bisimulation for Heyting-valued modal languages
- On the definability of simulability and bisimilarity by finite epistemic models
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
- Generalized Quantifiers Meet Modal Neighborhood Semantics
- BISIMULATIONS FOR KNOWING HOW LOGICS
- Some remarks on the model theory of epistemic plausibility models
- Deriving Bisimulation Congruences for Conditional Reactive Systems
This page was built for publication: Bisimulation for conditional modalities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1708097)
