Formalizing Statistical Causality via Modal Logic.

Yusuke Kawamoto Tetsuya Sato Kohei Suenaga

Published in: CoRR (2022)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
classical logic
statistical analysis
dynamic logic
statistical methods
situation calculus
nonmonotonic logics
conditional logic
model checking
default logic