Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents.

Roman Kuznets Björn Lellmann

Published in: Advances in Modal Logic (2018)

Keyphrases

linear logic
sequent calculus
modal logic
expressive power
inference rules
cubic spline
knowledge base
expert systems
data sets
bayesian networks
knowledge representation
closed form
linear systems
low order