Pages that link to "Item:Q1877096"

The following pages link to Shrinking games and local formulas (Q1877096):

Displaying 3 items.

• Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces (Q988553) (← links)
• Game-based notions of locality over finite models (Q2478544) (← links)
• A local normal form theorem for infinitary logic with unary quantifiers (Q4666943) (← links)