- Author
- Date
- 2-2018
- Title
- Bisimulation for conditional modalities
- Journal
- Studia Logica
- Volume | Issue number
- 106 | 1
- Pages (from-to)
- 1–33
- Document type
- Article
- Faculty
- Faculty of Science (FNWI)
Interfacultary Research - Institute
- Institute for Logic, Language and Computation (ILLC)
- Abstract
-
We give a definition of bisimulation for conditional modalities interpreted on selection functions and prove the correspondence between bisimilarity and modal equivalence, generalizing the Hennessy–Milner Theorem to a wide class of conditional operators. We further investigate the operators and semantics to which these results apply. First, we show how to derive a solid notion of bisimulation for conditional belief, behaving as desired both on plausibility models and on evidence models. These novel definitions of bisimulations are exploited in a series of undefinability results. Second, we treat relativized common knowledge, underlining how the same results still hold for a different modality in a different semantics. Third, we show the flexibility of the approach by generalizing it to multi-agent systems, encompassing the case of multi-agent plausibility models.
- URL
- go to publisher's site
- Language
- English
- Persistent Identifier
- https://hdl.handle.net/11245.1/d759dc0a-37c6-494d-976f-59194f768bdf
- Downloads
-
Bisimulation for conditional modalities(Final published version)
Disclaimer/Complaints regulations
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.