Keyphrases
- natural deduction
- formal language
- cut elimination
- modal logic
- logic programming
- theorem proving
- decision procedures
- mathematical theory
- computational logic
- classical logic
- sequent calculus
- linear logic
- proof search
- theorem prover
- model theoretic
- truth values
- ctl model update
- computational properties
- automated reasoning
- formal methods
- operational semantics
- defeasible logic
- deontic logic
- inference rules
- proof theory
- highly expressive
- formal model
- information systems
- learning algorithm
- formal logic
- genetic algorithm
- data sets