Cover Image

Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Proietti, Carlo, Yuste-Ginel, Antonio
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Logic in Computer Science 03B60
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A meta-modal logic for bisimulations
by: Burrieza, Alfredo, et al.
Published: (2025)

There are (other) ways to negate in propositional team semantics
by: Yang, Fan
Published: (2024)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
by: Nishimura, Yuki
Published: (2022)

Plausible Reasoning and First-Order Plausible Logic
by: Billington, David
Published: (2026)

Tableau Proof Systems for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
by: Coniglio, Marcelo E.
Published: (2023)

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

State-based Modal Logics for Free Choice
by: Aloni, Maria, et al.
Published: (2023)

The Sigma-max System Induced from Randomness & Fuzziness and its Application in Time Series Prediction
by: Mei, Wei, et al.
Published: (2021)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
by: Hartonas, Chrysafis
Published: (2023)

Blok-Esakia Theorems via Stable Canonical Rules
by: Bezhanishvili, Nick, et al.
Published: (2022)

Reasoning Around Paradox with Grounded Deduction
by: Ford, Bryan
Published: (2024)

The complexity of being monitorable
by: Camerlo, Riccardo, et al.
Published: (2026)

A Primer for Preferential Non-Monotonic Propositional Team Logics
by: Sauerwald, Kai, et al.
Published: (2024)

Vagueness and the Connectives
by: Holliday, Wesley H.
Published: (2024)

Inclusion with repetitions and Boolean constants -- implication problems revisited
by: Häggblom, Matilda
Published: (2025)

Axiomatizing approximate inclusion
by: Häggblom, Matilda
Published: (2025)

Axiomatization of approximate exclusion
by: Häggblom, Matilda
Published: (2024)

The Myhill isomorphism theorem does not generalize much
by: Pradic, Cécilia
Published: (2025)

Constrained Assumption-Based Argumentation Frameworks
by: De Angelis, Emanuele, et al.
Published: (2026)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2024)

Strong Negation is Definable in 2Int
by: Oddsson, Hrafn Valtýr
Published: (2025)

Convex Team Logics
by: Anttila, Aleksi, et al.
Published: (2025)

Multiplicative logic in arithmetic
by: Zhuravlov, Volodymyr
Published: (2024)

Expressibility and inexpressibility in propositional team logics
by: Häggblom, Matilda, et al.
Published: (2025)

Possible and impossible conditionals for team logics
by: Barbero, Fausto, et al.
Published: (2026)

Capturing dual team properties with inclusion atoms
by: Häggblom, Matilda
Published: (2026)

Epstein Semantics: Characterization, Interpolation, Undefinability, and (In)Completeness
by: Krawczyk, Krzysztof A.
Published: (2024)

Axiomatizing modal inclusion logic and its variants
by: Anttila, Aleksi, et al.
Published: (2023)

Rotations of Gödel algebras with modal operators
by: Flaminio, Tommaso, et al.
Published: (2024)

Probabilistically stable revision and comparative probability: a representation theorem and applications
by: Mierzewski, Krzysztof
Published: (2025)

The Orthologic of Epistemic Modals
by: Holliday, Wesley H., et al.
Published: (2022)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
by: De Angelis, Emanuele, et al.
Published: (2024)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
by: Anttila, Aleksi, et al.
Published: (2025)

Topological semantics for a non-self-extensional LFI
by: Jain, Esha, et al.
Published: (2025)

Problems with fixpoints of polynomials of polynomials
by: Pradic, Cécilia, et al.
Published: (2026)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
by: Olkhovikov, Grigory K., et al.
Published: (2022)

A Self-Reflecting Formal Language
by: Patrakeev, Mikhail
Published: (2023)