Modal interpolation via nested sequents.

Melvin Fitting Roman Kuznets

Published in: Ann. Pure Appl. Log. (2015)

Keyphrases

linear logic
sequent calculus
modal logic
inference rules
interpolation method
image interpolation
edge directed
neural network
artificial intelligence
nonmonotonic logics
interpolation algorithm
piecewise polynomial
high level
logical framework
sparse sampling