Login / Signup
Graded epistemic logic with public announcement.
Mario Roberto Folhadela Benevides
Alexandre Madeira
Manuel A. Martins
Published in:
J. Log. Algebraic Methods Program. (2022)
Keyphrases
</>
epistemic logic
model checking
modal logic
dynamic epistemic logic
multi agent systems
logical framework
formal semantics
inference rules
multi faceted
mathematical theory
computation tree logic
expert systems
heuristic search
temporal logic