Tagungsbericht: Workshop "Proof Theory of Modal Logic".
Heinrich WansingPublished in: Künstliche Intell. (1994)
Keyphrases
- modal logic
- proof theory
- default reasoning
- decision procedures
- reasoning problems
- default logic
- temporal logic
- inference rules
- automated reasoning
- proof theoretic
- classical logic
- nonmonotonic reasoning
- situation calculus
- prime implicates
- causal theories
- default theories
- reasoning tasks
- probabilistic reasoning
- belief revision
- model checking