The notion of in the previous subsection avoids any actual notion of the missionaries being eaten. More generally, it avoids any notion that in certain situations, certain events other than actions will occur. We can put part of this back.
We would like to handle the requirement for oars and the ability of Jesus Christ to walk on water in a uniform way, so that we could have either, both or neither of these elaborations.
To say that the missionaries will be eaten if the cannibals outnumber them can be done with the formalism of [McC95].
As sketched in [McC95], the consequences of the occurrence of an event may be described by a predicate , asserting that in some situation in the future of the situation , the fluent will hold. We can write this
To say that something will be true in the future of a situation is more general than using , because there is no commitment to a specific next situation as the result of the event. Indeed an event can have consequences at many different times in the future. The formalism is very convenient when applicable, and is compatible with the formalism of and . We have
We may get yet more mileage from the formalism. Suppose is taken to be a situation after all the events consequential to have taken place. We then have one or more consequences of the form , and these permit us to refer to the consequences of that are distributed in time. The advantage is that we can the use as a base situation for further events.