On the Degrees of Unsolvability of Modal Predicate Logics of Provability.
Vann McGeePublished in: J. Symb. Log. (1994)
Keyphrases
- modal logic
- nonmonotonic logics
- temporal logic
- classical logic
- decision procedures
- first order logic
- expressive power
- inference rules
- epistemic logic
- modal operators
- conditional logic
- propositional variables
- situation calculus
- default logic
- kripke models
- database
- neural network
- databases
- nonmonotonic reasoning
- database systems
- decision making
- dynamic logic
- coalition logic