Image de couverture de livre

Quasi Directed Jonsson Operations Imply Bounded Width (For fo-expansions of symmetric binary cores with free amalgamation)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Wrona, Michal
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The complete classification for quantified equality constraints
par: Zhuk, Dmitriy, et autres
Publié: (2021)

Model-checking positive equality free logic on a fixed structure (direttissima)
par: Bodirsky, Manuel, et autres
Publié: (2024)

Identifying Tractable Quantified Temporal Constraints within Ord-Horn
par: Rydval, Jakub, et autres
Publié: (2024)

Collapsing the bounded width hierarchy for infinite-domain CSPs: when symmetries are enough
par: Mottet, Antoine, et autres
Publié: (2021)

The Varieties of Ought-Implies-Can and Deontic STIT Logic
par: van Berkel, Kees, et autres
Publié: (2026)

Complex Bounded Operators in Isabelle/HOL
par: Unruh, Dominique, et autres
Publié: (2025)

Hybrid Modal Operators for Definite Descriptions
par: Wałęga, Przemysław Andrzej, et autres
Publié: (2024)

Decidability of Quasi-Dense Modal Logics
par: Ostropolski-Nalewaja, Piotr, et autres
Publié: (2024)

Monoidal Width
par: Di Lavore, Elena, et autres
Publié: (2022)

Nested Sequents for Quasi-transitive Modal Logics
par: Marin, Sonia, et autres
Publié: (2024)

On Syntactical Simplification of Temporal Operators in Negation-free MTL
par: van Noort, Mathijs, et autres
Publié: (2025)

A note on Stone-Čech compactification in ZFA
par: Przybyłek, Michał R.
Publié: (2023)

Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard
par: Dorochko, Leonid, et autres
Publié: (2026)

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers
par: Konečný, Michal, et autres
Publié: (2024)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
par: Abraham, Uri, et autres
Publié: (2023)

Exact big Ramsey degrees for finitely constrained binary free amalgamation classes
par: Balko, Martin, et autres
Publié: (2021)

On proving consistency of equational theories in Bounded Arithmetic
par: Beckmann, Arnold, et autres
Publié: (2022)

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
par: Melani, Beatrice, et autres
Publié: (2025)

Cut-elimination for the alternation-free modal mu-calculus
par: Afshari, Bahareh, et autres
Publié: (2025)

Cut-free Deductive System for Continuous Intuitionistic Logic
par: Geoffroy, Guillaume
Publié: (2025)

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

First-order Logic with Being a Thesis Modal Operator
par: Łyczak, Marcin
Publié: (2024)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
par: Feller, Thomas, et autres
Publié: (2023)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism
par: Berkholz, Christoph, et autres
Publié: (2024)

A Formally Verified Procedure for Width Inference in FIRRTL
par: Wang, Keyin, et autres
Publié: (2026)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
par: Das, Anupam, et autres
Publié: (2024)

Non-expansive Fuzzy ALC
par: Gebhart, Stefan, et autres
Publié: (2025)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
par: Mannucci, Mirco A., et autres
Publié: (2025)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
par: de Jong, Tom
Publié: (2024)

On Bisimilarity for Quasi-discrete Closure Spaces
par: Ciancia, Vincenzo, et autres
Publié: (2023)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
par: Mannucci, Mirco A., et autres
Publié: (2026)

On some Fraisse limits with free amalgamation
par: Bossut, Yvon
Publié: (2024)

Pregroup representable expansions of residuated lattices
par: Craig, Andrew, et autres
Publié: (2026)

Coherent Taylor expansion as a bimonad
par: Ehrhard, Thomas, et autres
Publié: (2023)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
par: Lopez, Aliaume
Publié: (2024)

Jonsson and Magidor filters
par: Ben-Neria, Omer, et autres
Publié: (2025)

Compositional Taylor expansion in cartesian differential categories
par: Walch, Aymeric
Publié: (2025)

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
par: Figueira, Diego, et autres
Publié: (2022)