Login / Signup
A Sequent Calculus for Modal Quantificational Logic.
Frank M. Brown
Published in:
AISB/GI (ECAI) (1978)
Keyphrases
</>
sequent calculus
modal logic
cut elimination
inference rules
temporal logic
linear logic
nonmonotonic logics
linear time temporal logic
classical logic
natural deduction
modal operators
default logic
propositional logic
proof search
wide class
model checking