Login / Signup
Nested Sequents for Provability Logic GLP.
Daniyar S. Shamkanov
Published in:
CoRR (2014)
Keyphrases
</>
linear logic
sequent calculus
modal logic
inference rules
logic programming
logical framework
natural deduction
fixed point
classical logic
neural network
class specific
multi valued
sequent calculi
deontic logic
automated reasoning
temporal logic
hierarchical structure
expressive power
supervised learning