A generalized modal logic in causal structures.

Mehdi Vatandoost Ali Akbar Estaji Rahimeh Pourkhandani

Published in: Theor. Comput. Sci. (2019)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
situation calculus
classical logic
conditional logic
higher order
default logic
causal relationships
nonmonotonic logics
bayesian networks
dynamic programming
explanation based generalization