Natural Deduction Based upon Strict Implication for Normal Modal Logics.
Claudio CerratoPublished in: Notre Dame J. Formal Log. (1994)
Keyphrases
- natural deduction
- modal logic
- inference rules
- sequent calculus
- cut elimination
- horn clauses
- theorem prover
- temporal logic
- decision procedures
- theorem proving
- classical logic
- nonmonotonic logics
- intuitionistic logic
- logical framework
- situation calculus
- epistemic logic
- functional dependencies
- first order logic
- default logic
- linear time temporal logic
- model checking
- autoepistemic logic
- incomplete information
- modal operators
- data exchange
- random variables
- logic programming
- expert systems