The INFOLOG linear tense propositional logic of events and transactions (Q1079024)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The INFOLOG linear tense propositional logic of events and transactions |
scientific article |
Statements
The INFOLOG linear tense propositional logic of events and transactions (English)
0 references
1986
0 references
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.
0 references
tense logic
0 references
temporal logic
0 references
semaphores
0 references
liveness
0 references