Nested sequents for provability logic GLP.

Daniyar S. Shamkanov

Published in: Log. J. IGPL (2015)

Keyphrases

linear logic
sequent calculus
modal logic
inference rules
natural deduction
logic programming
logical framework
fixed point
class specific
programming language
logic programs