:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gruza, Piotr, Łełyk, Mateusz
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2511.21954
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Tightness and solidity in fragments of Peano Arithmetic
von: Gruza, Piotr, et al.
Veröffentlicht: (2025)

Descending sequences in reflection hierarchies
von: Łełyk, Mateusz, et al.
Veröffentlicht: (2025)

Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"
von: Enayat, Ali, et al.
Veröffentlicht: (2026)

Pathologies in satisfaction classes
von: Abdul-Quader, Athar, et al.
Veröffentlicht: (2023)

Completions of Restricted Complexity I, Weak Arithmetical Theories
von: Enayat, Ali, et al.
Veröffentlicht: (2025)

Classifying the complexity of models of arithmetic
von: Gonzalez, David, et al.
Veröffentlicht: (2025)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

On first-order transductions of classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

Sequent calculi for first-order ST
von: Paoli, Francesco, et al.
Veröffentlicht: (2026)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
von: Oda, Yukihiro, et al.
Veröffentlicht: (2021)

Making first order linear logic a generating grammar
von: Slavnov, Sergey
Veröffentlicht: (2022)

On variable non-dependence of first-order formulas
von: Lefever, Koen, et al.
Veröffentlicht: (2025)

One-variable fragments of first-order logics
von: Cintula, Petr, et al.
Veröffentlicht: (2023)

Normalisation for Negative Free Logics without and with Definite Descriptions
von: Kürbis, Nils
Veröffentlicht: (2024)

A very sharp threshold for first order logic distinguishability of random graphs
von: Benjamini, Itai, et al.
Veröffentlicht: (2022)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
von: Gaßner, Christine
Veröffentlicht: (2025)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
von: Powell, Thomas
Veröffentlicht: (2023)

Elementary first-order model checking for sparse graphs
von: Gajarský, Jakub, et al.
Veröffentlicht: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

On the first order theory of plactic monoids
von: Turaev, Daniel
Veröffentlicht: (2023)

On classification of continuous first order theories
von: Khanaki, Karim
Veröffentlicht: (2022)

On the first-order theory of the remainder
von: Prunescu, Mihai
Veröffentlicht: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

New foundations of reasoning via real-valued first-order logics
von: Badia, Guillermo, et al.
Veröffentlicht: (2022)

A Walk on the Wild Side: Notions of maximality in first-order theories
von: Bailetti, Michele
Veröffentlicht: (2024)

Inquisitive first-order logic is neither compact nor recursively axiomatizable
von: Ciardelli, Ivano, et al.
Veröffentlicht: (2026)

On first-order definable operations on relational structures
von: Courcelle, Bruno
Veröffentlicht: (2026)

On Ramsey-type properties of the distance in nonseparable spheres
von: Koszmider, Piotr
Veröffentlicht: (2023)

Sequential discontinuity and first-order problems
von: Pauly, Arno, et al.
Veröffentlicht: (2024)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
von: Ikari, Hiroyuki, et al.
Veröffentlicht: (2026)

Decidability of Quasi-Dense Modal Logics
von: Ostropolski-Nalewaja, Piotr, et al.
Veröffentlicht: (2024)

Stable first order theories as simplicial profinite sets
von: Gavrilovich, Misha
Veröffentlicht: (2025)

Definite Descriptions and Hybrid Tense Logic
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

Synthesis for prefix first-order logic on data words
von: Grange, Julien, et al.
Veröffentlicht: (2024)

On first-order model checking parameterized by the number of variables
von: Jedelský, Jan
Veröffentlicht: (2026)

Almost disjoint families and some automorphic and injective properties of $\ell_\infty/c_0$
von: Koszmider, Piotr, et al.
Veröffentlicht: (2025)

Semantics out of context: nominal absolute denotations for first-order logic and computation
von: Gabbay, Murdoch J.
Veröffentlicht: (2013)