An Internal Version of Epistemic Logic.

Guillaume Aucher

Published in: Stud Logica (2010)

Keyphrases

epistemic logic
modal logic
model checking
multi agent systems
inference rules
logical framework
dynamic epistemic logic
multi faceted
formal semantics
computational model
temporal logic
mathematical theory
computation tree logic
image processing
model checker
domain independent
cooperative