On the logic of demonstratives.

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

Keyphrases

modal logic
information systems
computational properties
real time
multi valued
logical framework
asynchronous circuits
genetic algorithm
image sequences
evolutionary algorithm
knowledge representation
logic programming
probability theory
classical logic
defeasible logic