Characterizing Interpolation Pairs in Infinitary Graded Logics.

Giovanna D'Agostino

Published in: J. Log. Comput. (2003)

Keyphrases

expressive power
pairwise
modal logic
classical logic
image interpolation
linear interpolation
inference rules
interpolation method
proof theory
database
interpolation methods
conditional logic
nonmonotonic logics
multi agent systems
similarity measure
information retrieval
data mining