Extensions/Modifications to FLBC
Explicit distinction between actual and stipulated events.
Explicit association of time with events and underlying temporal calculus.
Similarity rather than identity between events and appropriate definitions for matching.
Generic representation of fulfilment for promises and promissory assertions.
Explicit association of pre- and postconditions with events (whether P- or F-events).
- BUT still inadequate account of conditional promises.