A logic for unknown outcomes.

Bertram C. Bruce

Published in: Notre Dame J. Formal Log. (1976)

Keyphrases

modal logic
logic programming
automated reasoning
multi valued
proof theory
database
databases
information retrieval
information systems
video sequences
probabilistic logic
classical logic
predicate logic
formal theory
asynchronous circuits