Minimal Axiomatization in Modal Logic.
Fabio BellissimaSaverio CittadiniPublished in: Math. Log. Q. (1997)
Keyphrases
- modal logic
- situation calculus
- temporal logic
- inference rules
- decision procedures
- classical logic
- prime implicates
- nonmonotonic logics
- epistemic logic
- conditional logic
- sequent calculus
- default logic
- reasoning tasks
- explanation based generalization
- artificial intelligence
- autoepistemic logic
- action theories
- general theory
- initial state
- higher order
- cooperative