Login / Signup
2-Sequent Calculus: A Proof Theory of Modalities.
Andrea Masini
Published in:
Ann. Pure Appl. Log. (1992)
Keyphrases
</>
proof theory
cut elimination
sequent calculus
default reasoning
inference rules
linear logic
automated reasoning
modal logic
reasoning problems
wide class
default logic
natural deduction
linear time temporal logic
artificial intelligence
classical logic
reasoning tasks
expert systems