Copertina

Generalized Decidability via Brouwer Trees

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	de Jong, Tom, Kraus, Nicolai, Mohammadzadeh, Aref, Forsberg, Fredrik Nordvall
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Constructive Ordinal Exponentiation
di: de Jong, Tom, et al.
Pubblicazione: (2025)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
di: de Jong, Tom, et al.
Pubblicazione: (2026)

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

Decidability of Quantum Modal Logic
di: Tokuo, Kenji
Pubblicazione: (2026)

On Small Types in Univalent Foundations
di: de Jong, Tom, et al.
Pubblicazione: (2021)

Dynamic Probability Logic: Decidability & Computability
di: Chopoghloo, Somayeh, et al.
Pubblicazione: (2024)

Decidability of Quasi-Dense Modal Logics
di: Ostropolski-Nalewaja, Piotr, et al.
Pubblicazione: (2024)

Deciding Equations in the Time Warp Algebra
di: van Gool, Sam, et al.
Pubblicazione: (2023)

Decidability for Sturmian words
di: Hieronymi, Philipp, et al.
Pubblicazione: (2021)

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

Formalizing equivalences without tears
di: de Jong, Tom
Pubblicazione: (2024)

Measuring Decidability as Related to Busy Beaver Numbers
di: Tandi, Gurpreet, et al.
Pubblicazione: (2026)

Decidability of Graph Neural Networks via Logical Characterizations
di: Benedikt, Michael, et al.
Pubblicazione: (2024)

Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
di: Li, Yongming
Pubblicazione: (2025)

Deciding Boolean Separation Logic via Small Models (Technical Report)
di: Dacík, Tomáš, et al.
Pubblicazione: (2024)

On Deciding Constant Runtime of Linear Loops
di: Frohn, Florian, et al.
Pubblicazione: (2026)

On the Decidability of Monadic Theories of Arithmetic Predicates
di: Berthé, Valérie, et al.
Pubblicazione: (2024)

Deciding Termination of Simple Randomized Loops
di: Meyer, Éléanore, et al.
Pubblicazione: (2025)

On the Decidability of Presburger Arithmetic Expanded with Powers
di: Karimov, Toghrul, et al.
Pubblicazione: (2024)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
di: Feller, Thomas, et al.
Pubblicazione: (2023)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
di: Barloy, Corentin, et al.
Pubblicazione: (2025)

Decidability of MSO Reparameterization over Countable Chains
di: Rabinovich, Alexander
Pubblicazione: (2026)

The 2-Dimensional Constraint Loop Problem is Decidable
di: Guilmant, Quentin, et al.
Pubblicazione: (2024)

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

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

Intuitionistic monotone modal logic via translation
di: de Groot, Jim
Pubblicazione: (2025)

Decidability and Complexity of Decision Problems for Affine Continuous VASS
di: Balasubramanian, A. R.
Pubblicazione: (2024)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
di: Su, Wanyun, et al.
Pubblicazione: (2024)

Deciding Predicate Logical Theories of Real-Valued Functions
di: Ratschan, Stefan
Pubblicazione: (2023)

Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
di: Gamsakhurdia, Mariami, et al.
Pubblicazione: (2025)

Deciding characteristic formulae: A journey in the branching-time spectrum
di: Aceto, Luca, et al.
Pubblicazione: (2025)

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
di: Kurucz, Agi, et al.
Pubblicazione: (2023)

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

Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space
di: Neumann, Eike
Pubblicazione: (2025)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
di: Cesco, Arnaldo, et al.
Pubblicazione: (2021)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
di: Aceto, Luca, et al.
Pubblicazione: (2025)

Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games
di: Vialard, Isa
Pubblicazione: (2025)

Incompleteness theorems via Turing category
di: Savelyev, Yasha
Pubblicazione: (2024)

A General (Uniform) Relational Semantics for Sentential Logics
di: Hartonas, Chrysafis
Pubblicazione: (2025)

Basis-Sensitive Quantum Typing via Realisability
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2025)