Login / Signup
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics.
Alwen Tiu
Published in:
TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Keyphrases
</>
sequent calculi
conditional logic
nonmonotonic inference
belief revision
modal logic
default reasoning
cut elimination
nonmonotonic reasoning
bayesian networks
desirable properties
belief base
propositional logic
belief change
inference rules
probabilistic inference
temporal logic
expressive power