Model Comparison Games for Generalized Quantifiers
Antti Kuusisto, Miguel Moreno, Matias Selin
TL;DR
This paper introduces two novel model comparison games based on Ehrenfeucht-Fra"issé and formula-size concepts to characterize separability by first-order formulas with generalized quantifiers.
Contribution
The paper presents new game-theoretic tools for analyzing the expressive power of first-order logic with generalized quantifiers.
Findings
Developed a game based on Ehrenfeucht-Fra"issé for generalized quantifiers.
Created a formula-size game for separability analysis.
Provided characterizations of separability using these games.
Abstract
We introduce two new model comparison games that characterize separability by first-order formulas with generalized quantifiers. One is built on the Ehrenfeucht-Fra\"iss\'e game and the other is a formula-size game.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.