Login / Signup
A intensional epistemic logic.
Yue Jun Jiang
Published in:
Stud Logica (1993)
Keyphrases
</>
epistemic logic
modal logic
model checking
multi agent systems
dynamic epistemic logic
multi faceted
inference rules
logical framework
formal semantics
temporal logic
mathematical theory
query evaluation
image processing
heuristic search
model checker
computation tree logic