Depth-bounded epistemic logic.

Farid Arthaud Martin C. Rinard

Published in: CoRR (2023)

Keyphrases

epistemic logic
modal logic
model checking
multi agent systems
dynamic epistemic logic
inference rules
logical framework
multi faceted
mathematical theory
formal semantics
computation tree logic
model checker
cooperative
domain independent
formal verification