A four-valued dynamic epistemic logic

HIGHLIGHTS

• who: Yuri David Santos from the (UNIVERSITY) have published the paper: A Four-Valued Dynamic Epistemic Logic, in the Journal: (JOURNAL)
• what: The contributions are twofold: on the one hand the authors present an intuition and possible application for many-valued modal logics and on the other hand the authors develop a logic that models the dynamics of evidence in a simple and intuitively clear fashion. In Sect 4 the authors show some correspondence results concerning classical epistemic logic axioms. The authors show both possibilities, however, because the substitution result of Proposition 11 is an . . .
  

   

  

  If you want to have access to all the content you need to log in!

  Thanks :)

  Username or Email

  Password

  Remember me

  Lost your password?

  If you don't have an account, you can create one here.