The INFOLOG linear tense propositional logic of events and transactions (Q1079024): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
| (One intermediate revision by one other user not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/0306-4379(86)90023-2 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1974304857 / rank | |||
Normal rank | |||
Latest revision as of 01:34, 20 March 2024
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
