Login / Signup
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