Buchumschlag

Bridging Computational Notions of Depth

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bienvenu, Laurent, Porter, Christopher P.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
von: Ayhan, Sara
Veröffentlicht: (2025)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Relators and Notions of Simulation Revisited
von: Goncharov, Sergey, et al.
Veröffentlicht: (2025)

Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
von: Bunch, Carter, et al.
Veröffentlicht: (2024)

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

Fixed Point Theorems in Computability Theory
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2024)

Computing with Infinite Objects: the Gray Code Case
von: Spreen, Dieter, et al.
Veröffentlicht: (2021)

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
von: Santo, José Espírito, et al.
Veröffentlicht: (2022)

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

Meta-Mathematics of Computational Complexity Theory
von: Oliveira, Igor C.
Veröffentlicht: (2025)

Constructive Quantum Logics
von: Aguilera, Juan P., et al.
Veröffentlicht: (2025)

Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO
von: Mählmann, Nikolas
Veröffentlicht: (2025)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2020)

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2023)

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2022)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
von: Carette, TItouan, et al.
Veröffentlicht: (2022)

On Homomorphism Indistinguishability and Hypertree Depth
von: Scheidt, Benjamin
Veröffentlicht: (2024)

Demystifying $μ$
von: Afshari, Bahareh, et al.
Veröffentlicht: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
von: Afshari, Bahareh, et al.
Veröffentlicht: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
von: Herbelin, Hugo
Veröffentlicht: (2024)

The strength of the dominance rule
von: Kołodziejczyk, Leszek Aleksander, et al.
Veröffentlicht: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

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

The subTuring degrees
von: Kihara, Takayuki, et al.
Veröffentlicht: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
von: Gratzer, Daniel, et al.
Veröffentlicht: (2024)

Incompleteness theorems via Turing category
von: Savelyev, Yasha
Veröffentlicht: (2024)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
von: Lyon, Tim S.
Veröffentlicht: (2024)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
von: De Domenico, Andrea, et al.
Veröffentlicht: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
von: Kihara, Takayuki
Veröffentlicht: (2024)

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

Proof Theory and Decision Procedures for Deontic STIT Logics
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

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

Further remarks on the dual negation in team logics
von: Anttila, Aleksi
Veröffentlicht: (2024)

Some General Completeness Results for Propositionally Quantified Modal Logics
von: Ding, Yifeng, et al.
Veröffentlicht: (2024)

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

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
von: Lyon, Tim S., 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 Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
von: Lyon, Tim S.
Veröffentlicht: (2024)

Denotational semantics driven simplicial homology?
von: Barbarossa, Davide
Veröffentlicht: (2024)