An Auxiliary Logic on Trees: on the Tower-Hardness of Logics Featuring Reachability and Submodel Reasoning.
Alessio MansuttiPublished in: FoSSaCS (2020)
Keyphrases
- proof theory
- intuitionistic logic
- proof theoretic
- horn logic
- computational properties
- knowledge representation formalisms
- default reasoning
- classical logic
- modal logic
- automated reasoning
- deductive reasoning
- reasoning problems
- logical framework
- propositional logic
- linear logic
- propositional dynamic logic
- valued logic
- coalition logic
- nonmonotonic inference
- epistemic logic
- conditional logic
- inheritance reasoning
- decision trees
- propositional calculus
- knowledge representation
- nonmonotonic logics
- human reasoning
- expressive power
- order of magnitude reasoning
- logical inference
- logical rules
- reasoning about actions
- nonmonotonic reasoning
- decision procedures
- belief change
- logic programs
- inconsistent knowledge
- probabilistic logic
- sequent calculi
- reasoning tasks
- transitive closure
- higher order logic
- truth values
- natural deduction
- state space
- belief revision
- tree structure
- computational complexity
- probabilistic reasoning
- logic programming
- inference rules
- theorem proving
- model theoretic
- autoepistemic logic