The INFOLOG linear tense propositional logic of events and transactions (Q1079024)

The paper reports on the triggering fragment of the logic developed for information system specification by the INFOLOG project of the authors. An extended linear tense propositional logic is suggested to describe dynamic behaviour. Temporal aspects are expressed by causal rules specifying trigger/reaction relationships among events. The paper outlines related semantic, axiomatization and proof theory issues. Safety and liveness properties are also discussed.