The Modal Logic of Consistency Assertions of Peano Arithmetic.
Silvio ValentiniPublished in: Math. Log. Q. (1983)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- classical logic
- nonmonotonic logics
- knowledge base
- default logic
- conditional logic
- situation calculus
- autoepistemic logic
- arithmetic operations
- artificial intelligence
- model checking
- epistemic logic
- prime implicates
- description logics
- deductive databases
- dynamic programming
- modal operators
- explanation based generalization