Logic and Time.

John P. Burgess

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

Keyphrases

classical logic
multi valued
logical framework
information retrieval
artificial intelligence
case study
modal logic
automated reasoning
predicate logic
truth values
delay insensitive
real time
proof theory
asynchronous circuits
multiscale
genetic algorithm
data mining