Системы временной логики I: моменты, истории, деревья (Q5059703)
From MaRDI portal
scientific article; zbMATH DE number 7642569
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Системы временной логики I: моменты, истории, деревья |
scientific article; zbMATH DE number 7642569 |
Statements
Системы временной логики I: моменты, истории, деревья (English)
0 references
16 January 2023
0 references
logic of time
0 references
linear time
0 references
branching time
0 references
indeterminism
0 references
future contigents
0 references
0 references
0 references
0 references
