Adding a Conditional to Kripke's Theory of Truth.

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

Keyphrases

theoretical framework
real time
database
computer vision
information systems
computational model
model checking
inference rules
theoretical basis
databases
data mining
artificial intelligence
search engine
database systems
multi agent
temporal logic