Model checking of fuzzy linear temporal logic based on quantum logic (Q3380985)
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: Model checking of fuzzy linear temporal logic based on quantum logic |
scientific article; zbMATH DE number 7403795
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Model checking of fuzzy linear temporal logic based on quantum logic |
scientific article; zbMATH DE number 7403795 |
Statements
29 September 2021
0 references
model checking
0 references
quantum logic
0 references
temporal logic
0 references
possibility theory
0 references
generalized possibility measure
0 references
0.8559207320213318
0 references
0.8095732927322388
0 references
0.8050505518913269
0 references
0.7756626605987549
0 references
