Pages that link to "Item:Q2368950"

The following pages link to On the universal and existential fragments of the \(\mu\)-calculus (Q2368950):

Displaying 8 items.

• On temporal logics with data variable quantifications: decidability and complexity (Q342712) (← links)
• Effective cut-elimination for a fragment of modal mu-calculus (Q454366) (← links)
• The \(\mu\) quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals (Q1267848) (← links)
• Mu-depth 3 is more than 2: A game-theoretic proof (Q2719798) (← links)
• FRAGMENTS OF FREGE’S<i>GRUNDGESETZE</i>AND GÖDEL’S CONSTRUCTIBLE UNIVERSE (Q3188332) (← links)
• Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic (Q4637759) (← links)
• Implementing fragments of ZFC within an r.e. Universe (Q4684351) (← links)
• (Q5009450) (← links)