Subintuitionistic Logics.

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

Keyphrases

expressive power
modal logic
inference rules
conditional logic
proof theory
real time
information systems
multiscale
classical logic
neural network
three dimensional
probabilistic model
belief revision
temporal logic
decision procedures