Login / Signup
On the Properties of Epistemic and Temporal Epistemic Logics of Authentication.
Sharar Ahmadi
Mehran S. Fallah
Massoud Pourmahdian
Published in:
Informatica (Slovenia) (2019)
Keyphrases
</>
epistemic logic
temporal epistemic
modal logic
model checking
logical framework
inference rules
multi agent systems
computation tree logic
multi faceted
formal semantics
temporal logic
mathematical theory
knowledge base
decision procedures
state space
nonmonotonic logics
model checker
cooperative