Nested Sequents and Prefixed Tableaus.

Published in: TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)

Keyphrases

linear logic
sequent calculus
inference rules
fixed point
logic programming
learning algorithm
hierarchical structure
modal logic
nested relations
bayesian networks
model checking
desirable properties
logical framework
hierarchical data