Bisimulation for conditional modalities

DOI10.1007/S11225-017-9723-2MaRDI QIDQ1708097zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Alexandru Baltag, Giovanni Cinà

Publication date 4 April 2018

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

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

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)