First-order logics for comparative similarity.

Timothy Williamson

Published in: Notre Dame J. Formal Log. (1988)

Keyphrases

similarity measure
expressive power
conditional logic
first order logic
higher order
similarity metric
distance measure
similarity function
semantic similarity
dissimilarity measure
stochastic dominance
data sets
linear temporal logic
horn clauses
default reasoning
modal logic
temporal logic