Can I read Bisimulation in Conditional Belief Logic on EtoBox?
Bisimulation in Conditional Belief Logic by Benjamin Icard is a document available to read on EtoBox.
What is Bisimulation in Conditional Belief Logic about?
This document summarizes a research paper that examines bisimulation and expressivity for logics involving conditional belief, degrees of belief, and safe belief. It defines the appropriate notion of bisimulation for plausibility models, which are used to represent these concepts. The paper proves that two plausibility models are modally equivalent in the logics if and only if they are bisimilar. However, it also finds that the logics have differing expressive power and are not equally expressive. The bisim
- Author
- Benjamin Icard
- Language
- EN