Cut-Free Gentzen Sequent Calculi for Tense Logics.

Zhe Lin Minghui Ma

Published in: Axioms (2023)

Keyphrases

sequent calculi
cut elimination
sequent calculus
linear logic
wide class
inference rules
conditional logic
natural deduction
modal logic
sufficient conditions
default reasoning
linear time temporal logic
temporal relations
bayesian networks
decision procedures
dynamical systems
expressive power
graph cuts