Login / Signup
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