On epistemic logic with justification.

Sergei N. Artëmov Elena Nogina

Published in: TARK (2005)

Keyphrases

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