The INFOLOG linear tense propositional logic of events and transactions (Q1079024)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The INFOLOG linear tense propositional logic of events and transactions |
scientific article; zbMATH DE number 3961015
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The INFOLOG linear tense propositional logic of events and transactions |
scientific article; zbMATH DE number 3961015 |
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
