Keyphrases
- dynamic logic
- natural deduction
- inference rules
- modal logic
- theorem prover
- first order logic
- theorem proving
- cut elimination
- reasoning about actions
- imperative programs
- intuitionistic logic
- sequent calculus
- linear time temporal logic
- linear logic
- sufficient conditions
- machine learning
- propositional logic
- temporal logic
- general purpose
- bayesian networks
- agent programming
- knowledge base
- propositional dynamic logic