Keyphrases
- modal logic
- transition systems
- sequent calculus
- nonmonotonic logics
- tableau calculus
- formal language
- algebraic structure
- computer algebra
- natural deduction
- proof search
- temporal logic
- inference rules
- cut elimination
- logic programming
- proof procedure
- model checking
- practical reasoning
- modal operators
- proof theory
- classical logic
- data sets
- concurrent systems
- relation algebra
- dynamic logic
- automated theorem proving
- defeasible logic
- proof theoretic
- logical framework
- nonmonotonic reasoning
- asynchronous circuits
- linear time temporal logic
- epistemic logic
- computational properties
- multi valued
- theorem prover
- knowledge base