Buchumschlag

Decidability of Being a Union-splitting

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Takahashi, Tenyo
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Chopping More Finely: Finite Countermodels in Modal Logic via the Subdivision Construction
von: Takahashi, Tenyo
Veröffentlicht: (2025)

Stable Canonical Rules and Formulas for Pre-transitive Logics via Definable Filtration
von: Takahashi, Tenyo
Veröffentlicht: (2025)

The Cardinalities of Intervals of Equational Theories and Logics
von: Aguilera, Juan P., et al.
Veröffentlicht: (2026)

Decidability for Sturmian words
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2021)

Decidability of Quantum Modal Logic
von: Tokuo, Kenji
Veröffentlicht: (2026)

Generalized Decidability via Brouwer Trees
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Dynamic Probability Logic: Decidability & Computability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)

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

Deciding Equations in the Time Warp Algebra
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

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

A Direct Characterisation of Logical Grounds and a Decidability Proof
von: Genco, Francesco A.
Veröffentlicht: (2025)

Measuring Decidability as Related to Busy Beaver Numbers
von: Tandi, Gurpreet, et al.
Veröffentlicht: (2026)

Decidability in geometric grid classes of permutations
von: Braunfeld, Samuel
Veröffentlicht: (2023)

Decidability via the tilting correspondence
von: Kartas, Konstantinos
Veröffentlicht: (2020)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
von: Barloy, Corentin, et al.
Veröffentlicht: (2025)

Decidability of Interpretability
von: Feller, Roman, et al.
Veröffentlicht: (2026)

First-order Logic with Being a Thesis Modal Operator
von: Łyczak, Marcin
Veröffentlicht: (2024)

Deciding Termination of Simple Randomized Loops
von: Meyer, Éléanore, et al.
Veröffentlicht: (2025)

Local Tabularity is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees
von: Martins, Miguel, et al.
Veröffentlicht: (2024)

On the Decidability of Monadic Theories of Arithmetic Predicates
von: Berthé, Valérie, et al.
Veröffentlicht: (2024)

On the Decidability of Presburger Arithmetic Expanded with Powers
von: Karimov, Toghrul, et al.
Veröffentlicht: (2024)

On Deciding Constant Runtime of Linear Loops
von: Frohn, Florian, et al.
Veröffentlicht: (2026)

Being polite is not enough (and other limits of theory combination)
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2025)

Decidability of MSO Reparameterization over Countable Chains
von: Rabinovich, Alexander
Veröffentlicht: (2026)

The 2-Dimensional Constraint Loop Problem is Decidable
von: Guilmant, Quentin, et al.
Veröffentlicht: (2024)

Craig Interpolation for Decidable First-Order Fragments
von: Cate, Balder ten, et al.
Veröffentlicht: (2023)

Decidability of extensions of Presburger arithmetic by generalised polynomials
von: Konieczny, Jakub
Veröffentlicht: (2024)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
von: Feller, Thomas, et al.
Veröffentlicht: (2023)

Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
von: Li, Yongming
Veröffentlicht: (2025)

Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
von: Gamsakhurdia, Mariami, et al.
Veröffentlicht: (2025)

Decidability and Complexity of Decision Problems for Affine Continuous VASS
von: Balasubramanian, A. R.
Veröffentlicht: (2024)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
von: Su, Wanyun, et al.
Veröffentlicht: (2024)

Deciding Predicate Logical Theories of Real-Valued Functions
von: Ratschan, Stefan
Veröffentlicht: (2023)

Decidability of Graph Neural Networks via Logical Characterizations
von: Benedikt, Michael, et al.
Veröffentlicht: (2024)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
von: Lyon, Tim S., et al.
Veröffentlicht: (2023)

Deciding characteristic formulae: A journey in the branching-time spectrum
von: Aceto, Luca, et al.
Veröffentlicht: (2025)

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
von: Kurucz, Agi, et al.
Veröffentlicht: (2023)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
von: Takahashi, Yuta
Veröffentlicht: (2024)

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

Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space
von: Neumann, Eike
Veröffentlicht: (2025)