Login / Signup
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic.
Dominik Klein
Rasmus K. Rendsvig
Published in:
CoRR (2017)
Keyphrases
</>
dynamic epistemic logic
epistemic logic
convergence rate
model checking