Login / Signup

Agreement Theorems in Dynamic-Epistemic Logic.

Cédric DégremontOlivier Roy
Published in: J. Philos. Log. (2012)
Keyphrases
  • dynamic epistemic logic
  • epistemic logic
  • model checking
  • modal logic
  • multi agent systems
  • mathematical model