The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames (Q6160744)
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: The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames |
scientific article; zbMATH DE number 7691324
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames |
scientific article; zbMATH DE number 7691324 |
Statements
The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames (English)
0 references
2 June 2023
0 references
\( \mu \)-calculus
0 references
fragments of the alternation hierarchy
0 references
topological modal logic
0 references
epistemic logic
0 references
0.9228541
0 references
0.8908597
0 references
0.87463015
0 references
0.8741734
0 references
0.8685599
0 references
0.86738986
0 references
0.86738986
0 references
