On the Proof Theory of the Modal Logic Grz.
Marco BorgaPaolo GentiliniPublished in: Math. Log. Q. (1986)
Keyphrases
- modal logic
- proof theory
- decision procedures
- reasoning problems
- default reasoning
- default logic
- temporal logic
- proof theoretic
- inference rules
- automated reasoning
- classical logic
- causal theories
- nonmonotonic reasoning
- prime implicates
- situation calculus
- default theories
- belief revision
- sequent calculus
- artificial intelligence