Formula size games for modal logic and μ-calculus (Q5216339)
From MaRDI portal
scientific article; zbMATH DE number 7168183
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formula size games for modal logic and μ-calculus |
scientific article; zbMATH DE number 7168183 |
Statements
Formula size games for modal logic and μ-calculus (English)
0 references
17 February 2020
0 references
succinctness
0 references
formula size game
0 references
modal logic
0 references
modal \(\mu\)-calculus
0 references
bisimulation invariant first-order logic
0 references
