Login / Signup

Dynamic Graded Epistemic Logic.

Minghui MaHans van Ditmarsch
Published in: Rev. Symb. Log. (2019)
Keyphrases
  • epistemic logic
  • modal logic
  • formal semantics
  • model checking
  • inference rules
  • cooperative
  • logical framework