Logical consequence in modal logic: Natural deduction in S5.
John CorcoranGeorge WeaverPublished in: Notre Dame J. Formal Log. (1969)
Keyphrases
- modal logic
- natural deduction
- inference rules
- sequent calculus
- cut elimination
- theorem prover
- temporal logic
- decision procedures
- theorem proving
- classical logic
- intuitionistic logic
- default logic
- nonmonotonic logics
- epistemic logic
- logical framework
- dynamic logic
- linear time temporal logic
- situation calculus
- explanation based generalization
- description logic alc
- logic programming
- prime implicates
- abductive reasoning
- first order logic