Login / Signup

Sum and Product in Dynamic Epistemic Logic.

Hans P. van DitmarschJi RuanRineke Verbrugge
Published in: J. Log. Comput. (2008)
Keyphrases
  • dynamic epistemic logic
  • epistemic logic
  • life cycle