Referential Opacity and Epistemic Logic.

Published in: Logica Universalis (2011)

Keyphrases

epistemic logic
modal logic
model checking
dynamic epistemic logic
multi agent systems
inference rules
logical framework
multi faceted
mathematical theory
computation tree logic
formal semantics
temporal logic
cooperative