The Logic of Non-contingency.

Lloyd Humberstone

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

Keyphrases

modal logic
predicate logic
search algorithm
computational properties
propositional dynamic logic
real time
neural network
multiscale
logic programming
automated reasoning
logical framework
defeasible logic
formal theory
dynamic logic
linear temporal logic