Intuitionistic linear-time \(\mu\)-calculus (Q3406322)
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: Intuitionistic linear-time -calculus |
scientific article; zbMATH DE number 5669603
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Intuitionistic linear-time \(\mu\)-calculus |
scientific article; zbMATH DE number 5669603 |
Statements
12 February 2010
0 references
propositional linear temporal logic
0 references
\(\mu\)-calculus
0 references
0.8298444747924805
0 references
0.8105770349502563
0 references
0.7779355049133301
0 references
0.7682192325592041
0 references
0.7579392194747925
0 references
