Decidability w.r.t. logical consecutions of linear temporal logic extended by Since and Previous (Q5445173)
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 5241984
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Decidability w.r.t. logical consecutions of linear temporal logic extended by Since and Previous |
scientific article; zbMATH DE number 5241984 |
Statements
3 March 2008
0 references
decidability
0 references
linear temporal logic
0 references
admissible consecutions
0 references
satisfiability problem
0 references
0.867283046245575
0 references
0.8549217581748962
0 references
0.807182252407074
0 references
0.8040466904640198
0 references
0.8009100556373596
0 references
