Individual-actualism and three-valued modal logics, part 2: Natural-deduction formalizations.
Harold HodesPublished in: J. Philos. Log. (1987)
Keyphrases
- programming language
- inference rules
- natural deduction
- modal logic
- nonmonotonic logics
- sequent calculus
- situation calculus
- autoepistemic logic
- cut elimination
- theorem proving
- theorem prover
- temporal logic
- decision procedures
- epistemic logic
- intuitionistic logic
- default logic
- first order logic
- classical logic
- linear time temporal logic
- logical framework
- reasoning tasks
- nonmonotonic reasoning
- propositional logic
- model checking
- multi agent
- temporal reasoning
- state space