Formalizing Statistical Causality via Modal Logic.
Yusuke KawamotoTetsuya SatoKohei SuenagaPublished in: JELIA (2023)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- epistemic logic
- situation calculus
- classical logic
- statistical analysis
- nonmonotonic logics
- statistical models
- statistical methods
- dynamic logic
- model checking
- conditional logic
- description logic alc
- default logic
- explanation based generalization
- higher order