Keyphrases
- modal logic
- decision procedures
- sequent calculus
- inference rules
- temporal logic
- theorem proving
- theorem prover
- cut elimination
- truth values
- natural deduction
- interactive theorem proving
- database
- proof search
- automated theorem proving
- sufficient conditions
- probability distribution
- natural language
- search algorithm
- metadata
- artificial intelligence
- machine learning
- data sets