Axiomatizing Kripke's Theory of Truth.

Volker Halbach Leon Horsten

Published in: J. Symb. Log. (2006)

Keyphrases

theoretical framework
desirable properties
artificial intelligence
formal theory
model checking
database
data sets
information theory
neural network
multiscale
information technology
modal logic
theoretical foundation
conceptual framework
inference rules
general theory