Pages that link to "Item:Q1877096"
From MaRDI portal
The following pages link to Shrinking games and local formulas (Q1877096):
Displaying 4 items.
- Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces (Q988553) (← links)
- Game-based notions of locality over finite models (Q2478544) (← links)
- Games on Strings with a Limited Order Relation (Q3605528) (← links)
- A local normal form theorem for infinitary logic with unary quantifiers (Q4666943) (← links)
