Epistemic Logic with Partial Dependency Operator.

Published in: CoRR (2019)

Keyphrases

epistemic logic
modal logic
model checking
multi agent systems
dynamic epistemic logic
multi faceted
inference rules
logical framework
computation tree logic
formal semantics
mathematical theory
bayesian networks
rough sets