Notes on the Computational Aspects of Kripke's Theory of Truth.

Stanislav O. Speranski

Published in: Stud Logica (2017)

Keyphrases

theoretical framework
theoretical basis
temporal logic
model checking
artificial intelligence
computer vision
image processing
clustering algorithm
face recognition
similarity measure
knowledge representation
theoretical foundation
inference rules
decision theory
formal theory