Buchumschlag

Model Comparison Games for Generalized Quantifiers

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kuusisto, Antti, Moreno, Miguel, Selin, Matias
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2026)

One-Dimensional Fragment over Words and Trees
von: Kieronski, Emanuel, et al.
Veröffentlicht: (2021)

Formula size game and model checking for modal substitution calculus
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2025)

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

Neural networks as fuzzy logic formulas
von: Heiman, Damian, et al.
Veröffentlicht: (2026)

Graph neural networks and MSO
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2025)

Graded modal logic and counting message passing automata
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2024)

Descriptive complexity for neural networks via Boolean networks
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2023)

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2024)

Multi-Structural Games and Number of Quantifiers
von: Fagin, Ronald, et al.
Veröffentlicht: (2021)

Some General Completeness Results for Propositionally Quantified Modal Logics
von: Ding, Yifeng, et al.
Veröffentlicht: (2024)

Embedded Finite Models Beyond Restricted Quantifier Collapse
von: Benedikt, Michael, et al.
Veröffentlicht: (2023)

Expressive Power of Graph Transformers via Logic
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2025)

On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Game Comonads & Generalised Quantifiers
von: Conghaile, Adam Ó, et al.
Veröffentlicht: (2020)

Quantifier Reasoning and Multiple Generality in Aristotle and Ancient Logic
von: Protin, Clarence Lewis
Veröffentlicht: (2022)

On unsuperstable theories in GDST
von: Moreno, Miguel
Veröffentlicht: (2022)

Shelah's Main Gap and the generalized Borel-reducibility
von: Moreno, Miguel
Veröffentlicht: (2023)

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

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
von: Jaakkola, Reijo, et al.
Veröffentlicht: (2024)

Interpretable classifiers for tabular data via discretization and feature selection
von: Jaakkola, Reijo, et al.
Veröffentlicht: (2024)

Fodor space in generalized descriptive set theory
von: Feldman, Ido, et al.
Veröffentlicht: (2026)

Incompleteness in Quantified Conditional Logic
von: Kocurek, Alexander W., et al.
Veröffentlicht: (2026)

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

Game of grounds
von: Catta, Davide, et al.
Veröffentlicht: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
von: Pacheco, Leonardo
Veröffentlicht: (2026)

A Class of Generalised Quantifiers for k-Variable Logics
von: Härtter, Janek, et al.
Veröffentlicht: (2026)

Weyl's Quantifiers
von: Toader, Iulian D.
Veröffentlicht: (2024)

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

Borel Families of Games
von: Kastner, Alexander, et al.
Veröffentlicht: (2024)

From Quantifier Depth to Quantifier Number: Separating Structures with k Variables
von: Vinall-Smeeth, Harry
Veröffentlicht: (2023)

Repairing General Game Descriptions (extended version)
von: He, Yifan, et al.
Veröffentlicht: (2025)

Interpolation and Quantifiers in Ortholattices
von: Guilloud, Simon, et al.
Veröffentlicht: (2025)

The Undecidability of Quantified Announcements
von: Ågotnes, Thomas, et al.
Veröffentlicht: (2024)

Quantifier Elimination and Invariant Theory: Applications to Quaternions, Octonions, and Other Algebras
von: Illmer, Maximilian
Veröffentlicht: (2026)

Effective Reducibility for Statements of Arbitrary Quantifier Complexity with Ordinal Turing Machines
von: Carl, Merlin
Veröffentlicht: (2024)

On Quantifiers for Quantitative Reasoning
von: Capucci, Matteo
Veröffentlicht: (2024)

The Lambda Calculus is Quantifiable
von: Maestracci, Valentin, et al.
Veröffentlicht: (2024)

Binary Choice Games and Arithmetical Comprehension
von: Aguilera, Juan Pablo, et al.
Veröffentlicht: (2025)

Game-theoretic variants of cardinal invariants
von: Chapital, Jorge Antonio Cruz, et al.
Veröffentlicht: (2023)