Individual-actualism and three-valued modal logics, part 1: Model-theoretic semantics.
Harold HodesPublished in: J. Philos. Log. (1986)
Keyphrases
- model theoretic
- decision procedures
- modal logic
- nonmonotonic logics
- inference rules
- proof theoretic
- epistemic logic
- autoepistemic logic
- temporal logic
- automated reasoning
- fixpoint semantics
- theorem proving
- conjunctive queries
- action theories
- description logics
- classical logic
- default logic
- situation calculus
- deductive databases
- logic programs
- operational semantics
- satisfiability problem
- default reasoning
- natural deduction
- multi agent