scientific article; zbMATH DE number 1424046

MaRDI QIDQ4945237zbMATH OpenFDO

Authors Julian Bradfield

Publication date 23 March 2000

zbMATH Keywords

temporal logicdifference hierarchydescriptive set theorymodal mu-calculusparity gamewinning positionsgame quantifierfixpoint hierarchyarithmetic fixpoint definable setstemporal fixpoint logic

Mathematics Subject Classification ID

2-person games (91A05) Model theory of finite structures (03C13) Logic with extra quantifiers and operators (03C80) Temporal logic (03B44) Descriptive set theory (03E15)

Recommendations

• Games for topological fixpoint logic
• Non-regular fixed-point logics and games
• scientific article; zbMATH DE number 515730
• Fixpoints, games and the difference hierarchy
• Strong functors and interleaving fixpoints in game semantics
• Tarski's fixpoint lemma and combinatorial games
• Generalized quantifiers and pebble games on finite structures
• Fixed-point logics and solitaire games
• Least and Greatest Fixpoints in Game Semantics
• Positional games and QBF: the corrective encoding

Cited in

(5)

• Fixpoints, games and the difference hierarchy
• Generalized quantifiers and pebble games on finite structures
• Fold/unfold transformations for fixpoint logic
• Temporal verification of programs via first-order fixpoint logic
• The determinacy strength of \(\Pi_2^1\)-comprehension

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4945237)