Login / Signup

The synchronicity of dynamic epistemic logic.

Cédric DégremontBenedikt LöweAndreas Witzel
Published in: TARK (2011)
Keyphrases
  • dynamic epistemic logic
  • epistemic logic
  • model checking
  • modal logic
  • inference rules
  • multi faceted
  • formal semantics
  • knowledge representation
  • boolean functions
  • reverse engineering
  • mathematical theory