Interpolation and Preservation for Pebble Logics.

Alexandru Baltag

Published in: J. Symb. Log. (1999)

Keyphrases

expressive power
image interpolation
linear interpolation
artificial intelligence
modal logic
inference rules
interpolation method
low pass filtering
motion estimation
default logic
digital objects
interpolation methods
proof theory
propositional dynamic logic
sparse sampling
piecewise polynomial