Imagen de Portada

Model Comparison Games for Generalized Quantifiers

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kuusisto, Antti, Moreno, Miguel, Selin, Matias
Formato:	Preprint
Publicado:	2026
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
por: Ahvonen, Veeti, et al.
Publicado: (2026)

One-Dimensional Fragment over Words and Trees
por: Kieronski, Emanuel, et al.
Publicado: (2021)

Formula size game and model checking for modal substitution calculus
por: Ahvonen, Veeti, et al.
Publicado: (2025)

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
por: Jaakkola, Reijo, et al.
Publicado: (2024)

Neural networks as fuzzy logic formulas
por: Heiman, Damian, et al.
Publicado: (2026)

Graph neural networks and MSO
por: Ahvonen, Veeti, et al.
Publicado: (2025)

Graded modal logic and counting message passing automata
por: Ahvonen, Veeti, et al.
Publicado: (2024)

Descriptive complexity for neural networks via Boolean networks
por: Ahvonen, Veeti, et al.
Publicado: (2023)

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
por: Ahvonen, Veeti, et al.
Publicado: (2024)

Multi-Structural Games and Number of Quantifiers
por: Fagin, Ronald, et al.
Publicado: (2021)

Some General Completeness Results for Propositionally Quantified Modal Logics
por: Ding, Yifeng, et al.
Publicado: (2024)

Embedded Finite Models Beyond Restricted Quantifier Collapse
por: Benedikt, Michael, et al.
Publicado: (2023)

Expressive Power of Graph Transformers via Logic
por: Ahvonen, Veeti, et al.
Publicado: (2025)

On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information
por: Beutner, Raven, et al.
Publicado: (2025)

Game Comonads & Generalised Quantifiers
por: Conghaile, Adam Ó, et al.
Publicado: (2020)

Quantifier Reasoning and Multiple Generality in Aristotle and Ancient Logic
por: Protin, Clarence Lewis
Publicado: (2022)

On unsuperstable theories in GDST
por: Moreno, Miguel
Publicado: (2022)

Shelah's Main Gap and the generalized Borel-reducibility
por: Moreno, Miguel
Publicado: (2023)

Why this and not that? A Logic-based Framework for Contrastive Explanations
por: Geibinger, Tobias, et al.
Publicado: (2025)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
por: Jaakkola, Reijo, et al.
Publicado: (2024)

Interpretable classifiers for tabular data via discretization and feature selection
por: Jaakkola, Reijo, et al.
Publicado: (2024)

Incompleteness in Quantified Conditional Logic
por: Kocurek, Alexander W., et al.
Publicado: (2026)

Fodor space in generalized descriptive set theory
por: Feldman, Ido, et al.
Publicado: (2026)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
por: Lyon, Tim S., et al.
Publicado: (2026)

Game of grounds
por: Catta, Davide, et al.
Publicado: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
por: Pacheco, Leonardo
Publicado: (2026)

A Class of Generalised Quantifiers for k-Variable Logics
por: Härtter, Janek, et al.
Publicado: (2026)

Weyl's Quantifiers
por: Toader, Iulian D.
Publicado: (2024)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
por: Zhuk, Dmitriy
Publicado: (2024)

Borel Families of Games
por: Kastner, Alexander, et al.
Publicado: (2024)

From Quantifier Depth to Quantifier Number: Separating Structures with k Variables
por: Vinall-Smeeth, Harry
Publicado: (2023)

Repairing General Game Descriptions (extended version)
por: He, Yifan, et al.
Publicado: (2025)

Interpolation and Quantifiers in Ortholattices
por: Guilloud, Simon, et al.
Publicado: (2025)

The Undecidability of Quantified Announcements
por: Ågotnes, Thomas, et al.
Publicado: (2024)

Quantifier Elimination and Invariant Theory: Applications to Quaternions, Octonions, and Other Algebras
por: Illmer, Maximilian
Publicado: (2026)

Effective Reducibility for Statements of Arbitrary Quantifier Complexity with Ordinal Turing Machines
por: Carl, Merlin
Publicado: (2024)

On Quantifiers for Quantitative Reasoning
por: Capucci, Matteo
Publicado: (2024)

The Lambda Calculus is Quantifiable
por: Maestracci, Valentin, et al.
Publicado: (2024)

Binary Choice Games and Arithmetical Comprehension
por: Aguilera, Juan Pablo, et al.
Publicado: (2025)

Game-theoretic variants of cardinal invariants
por: Chapital, Jorge Antonio Cruz, et al.
Publicado: (2023)