On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
Rajeev GoréLinda PostnieceAlwen TiuPublished in: Log. Methods Comput. Sci. (2011)
Keyphrases
- sequent calculi
- conditional logic
- nonmonotonic inference
- belief revision
- modal logic
- nonmonotonic reasoning
- horn logic
- cut elimination
- bayesian networks
- desirable properties
- default reasoning
- probabilistic inference
- belief networks
- propositional logic
- probabilistic reasoning
- belief change
- decision procedures
- theorem proving
- temporal relations
- probabilistic logic
- decision problems