A Dynamic Informational-Epistemic Logic.

Yuri David Santos

Published in: DALI@TABLEAUX (2017)

Keyphrases

epistemic logic
logical framework
multi agent systems
model checking
modal logic
dynamic epistemic logic
image processing
multi agent
computational model
inference rules