A Succinct Language for Dynamic Epistemic Logic.

Tristan Charrier François Schwarzentruber

Published in: AAMAS (2017)

Keyphrases

dynamic epistemic logic
programming language
natural language
epistemic logic
specification language
expert systems
cooperative