Logical truth and indeterminacy.

Steven E. Boër

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

Keyphrases

truth values
event calculus
logical reasoning
real time
logical structure
logical properties
logical representation