Login / Signup
Cut-free sequent calculi for some tense logics.
Ryo Kashima
Published in:
Stud Logica (1994)
Keyphrases
</>
sequent calculi
conditional logic
modal logic
cut elimination
default reasoning
high level
inference rules
expressive power
decision procedures
sequent calculus