Keyphrases
- modal logic
- sequent calculi
- automated reasoning
- proof procedure
- classical logic
- decision procedures
- temporal logic
- theorem proving
- logic programming
- classical first order logic
- nonmonotonic logics
- predicate logic
- epistemic logic
- first order logic
- functional dependencies
- dynamic logic
- deontic logic
- databases
- logic synthesis
- information retrieval
- formal theory
- digital circuits
- conditional logic
- real time
- information systems
- logical framework