Buchumschlag

On the Complexity of Entailment for Cumulative Propositional Dependence Logics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sauerwald, Kai, Kontinen, Juha, Meier, Arne
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science Artificial Intelligence 03B70, 03B62 I.2.3; F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Representation Theorems for Cumulative Propositional Dependence Logics
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

On the Complexity and Properties of Preferential Propositional Dependence Logic
von: Sauerwald, Kai, et al.
Veröffentlicht: (2025)

A Primer for Preferential Non-Monotonic Propositional Team Logics
von: Sauerwald, Kai, et al.
Veröffentlicht: (2024)

Which are the True Defeasible Logics?
von: Maher, Michael J.
Veröffentlicht: (2024)

Encoding argumentation frameworks with set attackers to propositional logic systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
von: Tang, Shuai
Veröffentlicht: (2025)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
von: Borzechowski, Manfred, et al.
Veröffentlicht: (2025)

First-Order Coalition Logic
von: Catta, Davide, et al.
Veröffentlicht: (2025)

Encoding Argumentation Frameworks to Propositional Logic Systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

Approximate Axiomatization for Differentially-Defined Functions
von: Platzer, André, et al.
Veröffentlicht: (2025)

Defeasible Reasoning via Datalog$^\neg$
von: Maher, Michael J.
Veröffentlicht: (2021)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
von: Sochański, Michał, et al.
Veröffentlicht: (2025)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
von: Anttila, Aleksi, et al.
Veröffentlicht: (2025)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
von: Nakamura, Yuki
Veröffentlicht: (2026)

Universal Algebra in UniMath
von: Amato, Gianluca, et al.
Veröffentlicht: (2021)

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
von: Moore, Hayden, et al.
Veröffentlicht: (2025)

Mechanised uniform interpolation for modal logics K, GL, and iSL
von: Férée, Hugo, et al.
Veröffentlicht: (2024)

A novel framework for systematic propositional formula simplification based on existential graphs
von: de Mas, Jordina Francès, et al.
Veröffentlicht: (2024)

The Hamiltonian Syllogistic
von: Pratt-Hartmann, Ian
Veröffentlicht: (2010)

Two strong undefinability results in inquisitive and team semantics
von: Barbero, Fausto
Veröffentlicht: (2024)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
von: Wang, Shuai
Veröffentlicht: (2024)

Thoughts on sub-Turing interactive computability
von: Japaridze, Giorgi
Veröffentlicht: (2024)

Hereditary First-Order Logic: the tractable quantifier prefix classes
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2024)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
von: Hausmann, Daniel, et al.
Veröffentlicht: (2022)

Univalent Material Set Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2023)

Complete Robust Hybrid Systems Reachability
von: Wafa, Noah Abou El, et al.
Veröffentlicht: (2026)

Discernment is all you need
von: Fuenmayor, David
Veröffentlicht: (2026)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2020)

Extracting total Amb programs from proofs
von: Berger, Ulrich, et al.
Veröffentlicht: (2023)

Normal forms in cubical type theory
von: Huang, Xu
Veröffentlicht: (2026)

Inclusion with repetitions and Boolean constants -- implication problems revisited
von: Häggblom, Matilda
Veröffentlicht: (2025)

Axiomatization of approximate exclusion
von: Häggblom, Matilda
Veröffentlicht: (2024)

Axiomatizing approximate inclusion
von: Häggblom, Matilda
Veröffentlicht: (2025)

Serial Properties, Selector Proofs, and the Provability of Consistency
von: Artemov, Sergei
Veröffentlicht: (2024)

Non-Compact Proofs
von: Artemov, Sergei
Veröffentlicht: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
von: Artemov, Sergei
Veröffentlicht: (2025)

Sufficient conditions for local tabularity of a polymodal logic
von: Shapirovsky, Ilya B.
Veröffentlicht: (2022)

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
von: Poernomo, Iman
Veröffentlicht: (2025)

ASP Chef grows Mustache to look better
von: Alviano, Mario, et al.
Veröffentlicht: (2025)