scientific article; zbMATH DE number 1424046
From MaRDI portal
Publication:4945237
zbMath0944.03028MaRDI QIDQ4945237
Publication date: 23 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
temporal logicdescriptive set theorydifference hierarchymodal mu-calculusparity gamewinning positionsgame quantifierfixpoint hierarchyarithmetic fixpoint definable setstemporal fixpoint logic
2-person games (91A05) Descriptive set theory (03E15) Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Temporal logic (03B44)
Related Items (3)
The determinacy strength of \(\Pi_2^1\)-comprehension ⋮ Fold/Unfold Transformations for Fixpoint Logic ⋮ Fixpoints, games and the difference hierarchy
This page was built for publication:
