Remarks on the Modal Logic of Henry Bradford Smith.
Mary C. MacLeodPeter K. SchotchPublished in: J. Philos. Log. (2000)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- normal form
- inference rules
- epistemic logic
- classical logic
- nonmonotonic logics
- situation calculus
- conditional logic
- dynamic logic
- default logic
- united kingdom
- sequent calculus
- autoepistemic logic
- explanation based generalization
- knowledge representation
- prime implicates