Comparison of Theorem Provers for Modal Logics - Introduction and Summary.
Peter BalsigerAlain HeuerdingPublished in: TABLEAUX (1998)
Keyphrases
- modal logic
- theorem prover
- inference rules
- decision procedures
- theorem proving
- automated reasoning
- temporal logic
- first order logic
- automated theorem proving
- automated deduction
- epistemic logic
- computer algebra
- natural deduction
- classical logic
- formal semantics
- situation calculus
- conditional logic
- higher order logic
- proof search
- sequent calculus
- computer algebra systems
- machine learning
- logical framework
- probabilistic reasoning
- default logic
- random variables
- expert systems