Switch to: References

Add citations

You must login to add citations.
  1. Dynamic graded epistemic logic.Minghui Ma & Hans van Ditmarsch - 2019 - Review of Symbolic Logic 12 (4):663-684.
    Graded epistemic logic is a logic for reasoning about uncertainties. Graded epistemic logic is interpreted on graded models. These models are generalizations of Kripke models. We obtain completeness of some graded epistemic logics. We further develop dynamic extensions of graded epistemic logics, along the framework of dynamic epistemic logic. We give an extension with public announcements, i.e., public events, and an extension with graded event models, a generalization also including nonpublic events. We present complete axiomatizations for both logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Bisimulation for Conditional Modalities.A. Baltag & G. Cinà - 2018 - Studia Logica 106 (1):1-33.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation