Keyphrases
- modal logic
- decision procedures
- finite sets
- inference rules
- temporal logic
- real numbers
- sequent calculi
- finite dimensional
- epistemic logic
- classical logic
- finite number
- valued logic
- automated reasoning
- expressive power
- conditional logic
- real time
- default logic
- relational databases
- expert systems
- case study
- machine learning
- classical first order logic
- neural network