Login / Signup
Self-Referential Justifications in Epistemic Logic.
Roman Kuznets
Published in:
Theory Comput. Syst. (2010)
Keyphrases
</>
epistemic logic
modal logic
model checking
multi agent systems
inference rules
logical framework
dynamic epistemic logic
multi faceted
computation tree logic
mathematical theory
formal semantics
temporal logic
formal verification
model checker
reinforcement learning