Introducing Justification into Epistemic Logic.

Sergei N. Artëmov Elena Nogina

Published in: J. Log. Comput. (2005)

Keyphrases

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