If Logic, Definitions and the Vicious Circle Principle.

Jaakko Hintikka

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

Keyphrases

databases
logic programming
modal logic
automated reasoning
logical framework
computational properties
sound and complete axiomatization
data mining
computer vision
case study
cross section
nonmonotonic logics
predicate logic