Login / Signup

A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition.

Andreas HerzigFrédéric MarisElise Perrotin
Published in: KR (2021)
Keyphrases
  • dynamic epistemic logic
  • epistemic logic
  • probability distribution
  • software engineering