Image de couverture de livre

Convergence Laws for Extensions of First-Order Logic with Averaging

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Adam-Day, Sam, Benedikt, Michael, Larrauri, Alberto
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Combinatorics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Monadic Second-Order Logic of Permutations
par: Jelínek, Vít, et autres
Publié: (2025)

Lifted Inference beyond First-Order Logic
par: Malhotra, Sagar, et autres
Publié: (2023)

First-Order Logic and Twin-Width for Some Geometric Graphs
par: Geniet, Colin, et autres
Publié: (2025)

Two variable logic with ultimately periodic counting
par: Benedikt, Michael, et autres
Publié: (2020)

First Order Logic of Sparse Graphs with Given Degree Sequences
par: Larrauri, Alberto, et autres
Publié: (2024)

On the Satisfiability of Local First-Order Logics with Data
par: Bollig, Benedikt, et autres
Publié: (2023)

First order complexity of finite random structures
par: Demin, Danila, et autres
Publié: (2024)

Almost Surely Asymptotically Constant Graph Neural Networks
par: Adam-Day, Sam, et autres
Publié: (2024)

Interpolation in First-Order Logic
par: Cate, Balder ten, et autres
Publié: (2025)

Distributed First Order Logic
par: Ghidini, Chiara, et autres
Publié: (2015)

Decomposing graphs into stable and ordered parts
par: Buffière, Hector, et autres
Publié: (2025)

Indivisibility and uniform computational strength
par: Gill, Kenneth
Publié: (2023)

Decidability for Sturmian words
par: Hieronymi, Philipp, et autres
Publié: (2021)

Merge-width and First-Order Model Checking
par: Dreier, Jan, et autres
Publié: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
par: Kurucz, Agi, et autres
Publié: (2023)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
par: Barloy, Corentin, et autres
Publié: (2025)

A very sharp threshold for first order logic distinguishability of random graphs
par: Benjamini, Itai, et autres
Publié: (2022)

First order distinguishability of sparse random graphs
par: Hershko, Tal, et autres
Publié: (2024)

First-order transducibility among classes of sparse graphs
par: Gajarský, Jakub, et autres
Publié: (2025)

First-order logic axiomatization of metric graph theory
par: Chalopin, Jérémie, et autres
Publié: (2022)

Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors
par: Seppelt, Tim
Publié: (2023)

Checking Satisfiability of Hyperproperties using First-Order Logic
par: Beutner, Raven, et autres
Publié: (2025)

Fusions of One-Variable First-Order Modal Logics
par: Kontchakov, Roman, et autres
Publié: (2026)

On Knowledge Compilation For Two-Variable First-Order Logic
par: Meng, Qiaolan, et autres
Publié: (2026)

Solving promise equations over monoids and groups
par: Larrauri, Alberto, et autres
Publié: (2024)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set
par: Li, Zhengyu, et autres
Publié: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

Tutte's theorem as an educational formalization project
par: Otte, Pim
Publié: (2025)

Further Comments on Yablo's Construction
par: Schlechta, Karl
Publié: (2025)

Additive systems for $\mathbb{Z}$ are undecidable
par: Zabolotskii, Andrei
Publié: (2025)

Transductions of Graph Classes Admitting Product Structure
par: Hliněný, Petr, et autres
Publié: (2025)

Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
par: Dvorak, Martin, et autres
Publié: (2025)

Local structure of idempotent algebras II
par: Bulatov, Andrei A.
Publié: (2020)

On Planarity of Graphs in Homotopy Type Theory
par: Prieto-Cubides, Jonathan, et autres
Publié: (2021)

Bijections between planar maps and planar linear normal $λ$-terms with connectivity condition
par: Fang, Wenjie
Publié: (2022)

A Formal Proof of R(4,5)=25
par: Gauthier, Thibault, et autres
Publié: (2024)

A Two-Watched Literal Scheme for First-Order Logic
par: Briefs, Yasmine, et autres
Publié: (2026)

Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
par: Vehlken, Fabian, et autres
Publié: (2026)