Complete axiomatization of the stutter-invariant fragment of the linear time \(\mu\)-calculus (Q2904051)
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: Complete axiomatization of the stutter-invariant fragment of the linear time \(\mu\)-calculus |
scientific article; zbMATH DE number 6063262
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complete axiomatization of the stutter-invariant fragment of the linear time \(\mu\)-calculus |
scientific article; zbMATH DE number 6063262 |
Statements
5 August 2012
0 references
modal fixed-point logic
0 references
linear-time temporal logic
0 references
stutter-invariant fragment
0 references
linear-time \(\mu\)-calculus
0 references
0.9002621
0 references
0.8913805
0 references
0.88298464
0 references
0.86803377
0 references
0.8573808
0 references
0.85724336
0 references
Complete axiomatization of the stutter-invariant fragment of the linear time \(\mu\)-calculus (English)
0 references
