scientific article; zbMATH DE number 1424046

zbMATH Open0944.03028MaRDI QIDQ4945237FDOQ4945237

Authors: Julian Bradfield 

Publication date: 23 March 2000

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

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

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)