Login / Signup

Agreement theorems in dynamic-epistemic logic.

Cédric DégremontOlivier Roy
Published in: TARK (2009)
Keyphrases
  • dynamic epistemic logic
  • epistemic logic
  • model checking
  • modal logic
  • logical framework
  • multi agent systems