Kripke Logical Relations and PCF

Peter W. O'Hearn Jon G. Riecke

Published in: Inf. Comput. (1995)

Keyphrases

logical structure
inference rules
truth values
desirable properties
temporal logic
classification method
semantic relations
database
neural network
multiscale
modal logic
logical representation
causal relations
spatial relations
relational databases
bayesian networks
data sets