Undivided and indistinguishable histories in branching-time logics (Q1289103)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1290124
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Undivided and indistinguishable histories in branching-time logics |
scientific article; zbMATH DE number 1290124 |
Statements
Undivided and indistinguishable histories in branching-time logics (English)
0 references
29 September 1999
0 references
indistinguishable histories
0 references
temporal logic
0 references
undivided histories
0 references
tree-like representation of time
0 references
branching-time logics
0 references
semantics
0 references
0.8926853
0 references
0.89243335
0 references
0.8815868
0 references
0.86925584
0 references
0.86530423
0 references
0 references
0.85328305
0 references
0.85294837
0 references
0.8525974
0 references
