Keyphrases
- modal logic
- conditional logic
- linear temporal logic
- proof theoretic
- logic programming
- finite number
- belief revision
- proof theory
- default reasoning
- automated reasoning
- data sets
- pairwise comparison
- formal theory
- epistemic logic
- classical logic
- coefficient matrix
- computational properties
- probabilistic logic
- temporal logic
- logic programs