Honesty in partial logic.

Wiebe van der Hoek Jan Jaspars Elias Thijsse

Published in: Stud Logica (1996)

Keyphrases

modal logic
cognitive processes
logic programming
multi valued
classical logic
predicate logic
real time
automated reasoning
asynchronous circuits
sound and complete axiomatization
database
neural network
search engine
case study