Fixed point logics and definable topological properties (Q6149964)
From MaRDI portal
scientific article; zbMATH DE number 7813377
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fixed point logics and definable topological properties |
scientific article; zbMATH DE number 7813377 |
Statements
Fixed point logics and definable topological properties (English)
0 references
5 March 2024
0 references
mu-calculus
0 references
expressivity
0 references
topological semantics
0 references
