Keyphrases
- modal logic
- sequent calculi
- automated reasoning
- classical logic
- logic programming
- classical first order logic
- conditional logic
- proof procedure
- decision procedures
- epistemic logic
- temporal logic
- nonmonotonic logics
- functional dependencies
- logical framework
- digital circuits
- predicate logic
- sequent calculus
- defeasible logic
- asynchronous circuits
- databases
- inference rules
- first order logic
- website
- neural network