Copertina

Multi-Structural Games and Number of Quantifiers

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Fagin, Ronald, Lenchner, Jonathan, Regan, Kenneth W., Vyas, Nikhil
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Who Wins the Multi-Structural Game?
di: Fagin, Ronald, et al.
Pubblicazione: (2025)

Multi-Structural Games and Beyond
di: Carmosino, Marco, et al.
Pubblicazione: (2023)

On the Number of Quantifiers Needed to Define Boolean Functions
di: Carmosino, Marco, et al.
Pubblicazione: (2024)

Parallel Play Saves Quantifiers
di: Carmosino, Marco, et al.
Pubblicazione: (2024)

Towards a Unification of Logic and Information Theory
di: Lastras, Luis A., et al.
Pubblicazione: (2023)

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

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

Invariant Checking for SMT-based Systems with Quantifiers
di: Redondi, Gianluca, et al.
Pubblicazione: (2024)

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

Measuring Decidability as Related to Busy Beaver Numbers
di: Tandi, Gurpreet, et al.
Pubblicazione: (2026)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
di: Goldberg, Eugene
Pubblicazione: (2024)

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

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

New foundations of reasoning via real-valued first-order logics
di: Badia, Guillermo, et al.
Pubblicazione: (2022)

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

Indivisibility and uniform computational strength
di: Gill, Kenneth
Pubblicazione: (2023)

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

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

Interpolation and Quantifiers in Ortholattices
di: Guilloud, Simon, et al.
Pubblicazione: (2025)

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

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
di: Clairambault, Pierre, et al.
Pubblicazione: (2023)

LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Game
di: Kabra, Aditi, et al.
Pubblicazione: (2026)

Satisfiability of Quantified Boolean Announcements
di: van Ditmarsch, Hans, et al.
Pubblicazione: (2022)

On Efficient Algorithms For Partial Quantifier Elimination
di: Goldberg, Eugene
Pubblicazione: (2024)

Symmetries of Dependency Quantified Boolean Formulas
di: Hofstadler, Clemens, et al.
Pubblicazione: (2024)

Partial Quantifier Elimination By Certificate Clauses
di: Goldberg, Eugene
Pubblicazione: (2020)

Solving Set Constraints with Comprehensions and Bounded Quantifiers
di: Mohamed, Mudathir, et al.
Pubblicazione: (2025)

Simple Classes of Automatic Structures
di: Blumensath, Achim
Pubblicazione: (2025)

Applications of Quantified Constraint Solving over the Reals -- Bibliography
di: Ratschan, Stefan
Pubblicazione: (2012)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
di: Chistikov, Dmitry, et al.
Pubblicazione: (2024)

Formalization of Amicable Numbers Theory
di: Chen, Zhipeng, et al.
Pubblicazione: (2026)

The Algebra of Parity Games
di: Piedeleu, Robin
Pubblicazione: (2025)

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
di: Phalakarn, Kittiphon, et al.
Pubblicazione: (2025)

Breaking Symmetries in Quantified Graph Search: A Comparative Study
di: Janota, Mikoláš, et al.
Pubblicazione: (2025)

A Binary Quantifier for Definite Descriptions in Nelsonian Free Logic
di: Petrukhin, Yaroslav
Pubblicazione: (2024)

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
di: Ratschan, Stefan, et al.
Pubblicazione: (2026)

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties
di: Egolf, Derek, et al.
Pubblicazione: (2026)

Identifying Tractable Quantified Temporal Constraints within Ord-Horn
di: Rydval, Jakub, et al.
Pubblicazione: (2024)

Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
di: Frenkel, Eden, et al.
Pubblicazione: (2024)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
di: Mannucci, Mirco A.
Pubblicazione: (2025)