Davis's formulation of Kripke's theory of truth: A correction.

Published in: J. Philos. Log. (1981)

Keyphrases

theoretical framework
artificial intelligence
modal logic
databases
theoretical basis
inference rules
desirable properties
knowledge base
search algorithm
special case
bayesian networks
temporal logic
decision trees
information theory
image processing
database
error analysis
quadratic programming