Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning.
Marianna GirlandoBjörn LellmannNicola OlivettiStefano PesceGian Luca PozzatoPublished in: J. Log. Comput. (2022)
Keyphrases
- theorem prover
- automated reasoning
- inference rules
- logical framework
- higher order logic
- decision procedures
- proof theory
- theorem proving
- automated theorem proving
- reasoning problems
- first order logic
- text generation
- sequent calculi
- natural deduction
- reasoning tasks
- expressive power
- cut elimination
- computer algebra systems
- term rewriting
- sequent calculus
- computer algebra
- intuitionistic logic
- modal logic
- causal reasoning
- computational properties
- proof planning
- inheritance reasoning
- proof theoretic
- boolean algebra
- formal proof
- classical logic
- knowledge representation and reasoning
- knowledge base
- linear logic
- knowledge representation
- mathematical knowledge
- formal semantics
- set theory
- spatial reasoning
- vague concepts
- description logics
- bayesian networks