Depth-bounded Epistemic Logic.

Farid Arthaud Martin C. Rinard

Published in: TARK (2023)

Keyphrases

epistemic logic
modal logic
model checking
multi agent systems
dynamic epistemic logic
multi faceted
computation tree logic
inference rules
mathematical theory
formal semantics
logical framework
temporal logic
artificial intelligence
image processing
multi agent