Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Multi-Structural Games and Number of Quantifiers
Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan +1
We study multi-structural games, played on two sets and of structures. These games generalize Ehrenfeucht-Fraïssé games. Whereas Ehrenfeucht-Fraïssé…
cs.LO2024
Multi-Structural Games and Beyond
Marco Carmosino, Ronald Fagin, Neil Immerman +3
Multi-structural (MS) games are combinatorial games that capture the number of quantifiers of first-order sentences. On the face of their definition, MS games differ from Ehrenfeuc…