Dynamic Epistemic Logic

Dynamic Epistemic Logic is a unknown in our research taxonomy.

Related papers

The Epistemic Planning Domain Definition Language: Official Guideline
Distributed Partial Information Puzzles: Examining Common Ground Construction Under Epistemic Asymmetry