Epistemic Logic with Partial Dependency Operator.

Published in: LORI (2019)

Keyphrases

epistemic logic
model checking
modal logic
dynamic epistemic logic
logical framework
inference rules
formal semantics
multi agent systems
multi faceted
mathematical theory
temporal logic
computation tree logic
object oriented