Login / Signup

Some Completeness theorems in the Dynamic Doxastic Logic of Iterated Belief Revision.

Krister Segerberg
Published in: Rev. Symb. Log. (2010)
Keyphrases
  • epistemic logic
  • modal logic
  • belief revision
  • bayesian networks
  • inference rules
  • classical logic