Stone Algebras, Conditional Events, and Three Valued Logic.

Elbert A. Walker

Published in: IEEE Trans. Syst. Man Cybern. Syst. (1994)

Keyphrases

nonmonotonic logics
relation algebra
event detection
modal logic
conditional logic
logic programming
boolean algebra
inference rules
spatial reasoning
expressive power
epistemic logic
deontic logic
proof theory
temporal information
probability theory
computational properties
formal theory
linear logic