Bisimulation for conditional modalities
From MaRDI portal
Publication:1708097
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
Cites work
- scientific article; zbMATH DE number 3930376 (Why is no real title available?)
- scientific article; zbMATH DE number 2046116 (Why is no real title available?)
- A qualitative theory of dynamic interactive belief revision
- Basic conditional logic
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
- Conditional doxastic models: a qualitative approach to dynamic belief revision
- Dynamic interactive epistemology
- Dynamic logic for belief revision
- Dynamic logics of evidence-based beliefs
- Epistemic probability logic simplified
- Logics of communication and change
- Nonmonotonic reasoning, preferential models and cumulative logics
- Semantics for relevant logics
- Some remarks on the model theory of epistemic plausibility models
- Tracking information
- Two modellings for theory change
- Update, probability, knowledge and belief
Cited in
(13)- Generalized Quantifiers Meet Modal Neighborhood Semantics
- On the definability of simulability and bisimilarity by finite epistemic models
- Neighbourhood Contingency Bisimulation
- BISIMULATIONS FOR KNOWING HOW LOGICS
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
- Splitting bisimulations and retrospective conditions
- Some remarks on the model theory of epistemic plausibility models
- Hennessy-Milner properties via topological compactness
- On the definability of simulation and bisimulation in epistemic logic
- scientific article; zbMATH DE number 1500662 (Why is no real title available?)
- Deriving Bisimulation Congruences for Conditional Reactive Systems
- A bisimulation for dynamic sealing
- Notions of bisimulation for Heyting-valued modal languages
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)