First Order Logics for Metric Structures.

Published in: Math. Log. Q. (1980)

Keyphrases

expressive power
first order logic
distance measure
modal logic
conditional logic
higher order
real time
semi supervised
decision procedures
fisher information