Description

In computer question answering and problem solving
programs many of the questions of modal and tense logics appear as
practical design problems. One problem of particular interest appears
when we allow events to have the truth value "unknown", a natural value to
assign to some events which occur at other times than the present.
However, allowing a third value is not as simple as it seems.