Login / Signup

Agreement Theorems in Dynamic-Epistemic Logic.

Cédric DégremontOlivier Roy
Published in: LORI (2009)
Keyphrases
  • dynamic epistemic logic
  • epistemic logic
  • model checking
  • modal logic
  • machine learning
  • cooperative
  • software engineering
  • co occurrence
  • inference rules