Cover Image

The Adjacent Fragment and Quine's Limits of Decision

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bednarczyk, Bartosz, Kojelis, Daumantas, Pratt-Hartmann, Ian
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Homogeneous Model of Fluted Languages
by: Kojelis, Daumantas
Published: (2024)

Towards Understanding the Expressive Power of GNNs with Global Readout
by: Funk, Maurice, et al.
Published: (2026)

Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Version)
by: Bednarczyk, Bartosz, et al.
Published: (2025)

Complexity of the Guarded Two-Variable Fragment with Counting Quantifiers
by: Pratt-Hartmann, Ian
Published: (2006)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
by: Bednarczyk, Bartosz
Published: (2023)

Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers
by: Pratt-Hartmann, Ian
Published: (2004)

Data Complexity in Expressive Description Logics With Path Expressions
by: Bednarczyk, Bartosz
Published: (2024)

About the Expressive Power and Complexity of Order-Invariance with Two Variables
by: Bednarczyk, Bartosz, et al.
Published: (2023)

On the Complexity of the Numerically Definite Syllogistic and Related Fragments
by: Pratt-Hartmann, Ian
Published: (2007)

Data-Complexity of the Two-Variable Fragment with Counting Quantifiers
by: Pratt-Hartmann, Ian
Published: (2008)

The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable
by: Pratt-Hartmann, Ian
Published: (2017)

The Syllogistic with Unity
by: Pratt-Hartmann, Ian
Published: (2011)

The Fluted Fragment with Transitive Relations
by: Pratt-Hartmann, Ian, et al.
Published: (2020)

A Horn extension of DL-Lite with NL data complexity
by: Arpasi, Janos, et al.
Published: (2026)

Functions Definable by Numerical Set-Expressions
by: Pratt-Hartmann, Ian, et al.
Published: (2009)

Complex Algebras of Arithmetic
by: Düntsch, Ivo, et al.
Published: (2009)

The Hamiltonian Syllogistic
by: Pratt-Hartmann, Ian
Published: (2010)

Modal Fragments
by: Bezhanishvili, Nick, et al.
Published: (2026)

Logics for the Relational Syllogistic
by: Pratt-Hartmann, Ian, et al.
Published: (2008)

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
by: Kazakov, Yevgeny, et al.
Published: (2009)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
by: Lyon, Tim S.
Published: (2024)

Limits with Signed Digit Streams
by: Wiesnet, Franziskus
Published: (2018)

Towards Learning Infinite SMT Models (Work in Progress)
by: Janota, Mikoláš, et al.
Published: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
by: Lyon, Tim S., et al.
Published: (2024)

The Complexity of Fragments of Second-Order HyperLTL
by: Regaud, Gaëtan, et al.
Published: (2025)

Craig Interpolation for Decidable First-Order Fragments
by: Cate, Balder ten, et al.
Published: (2023)

One-Dimensional Fragment over Words and Trees
by: Kieronski, Emanuel, et al.
Published: (2021)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
by: Férée, Hugo, et al.
Published: (2026)

The Disjunction-Free Fragment of D2 is Three-Valued
by: Omori, Hitoshi
Published: (2024)

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
by: Ito, Sohei, et al.
Published: (2025)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic
by: Artale, Alessandro, et al.
Published: (2022)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Uniform interpolation with constructive diamond
by: van der Giessen, Iris, et al.
Published: (2026)

On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
by: Haase, Christoph, et al.
Published: (2024)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
by: de Groot, Jim, et al.
Published: (2024)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
by: de Groot, Jim, et al.
Published: (2026)

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
by: Fiuk, Oskar, et al.
Published: (2024)

Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants
by: Kieronski, Emanuel, et al.
Published: (2016)

On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation
by: Nakamura, Yoshiki
Published: (2023)

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
by: Elad, Neta, et al.
Published: (2026)