Imagen de Portada

A Primer for Preferential Non-Monotonic Propositional Team Logics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Sauerwald, Kai, Kontinen, Juha
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence Logic in Computer Science 03B60 I.2.3; F.4.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On the Complexity and Properties of Preferential Propositional Dependence Logic
por: Sauerwald, Kai, et al.
Publicado: (2025)

Representation Theorems for Cumulative Propositional Dependence Logics
por: Kontinen, Juha, et al.
Publicado: (2026)

On the Complexity of Entailment for Cumulative Propositional Dependence Logics
por: Sauerwald, Kai, et al.
Publicado: (2026)

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

Which are the True Defeasible Logics?
por: Maher, Michael J.
Publicado: (2024)

Discernment is all you need
por: Fuenmayor, David
Publicado: (2026)

Defeasible Reasoning via Datalog$^\neg$
por: Maher, Michael J.
Publicado: (2021)

The Hamiltonian Syllogistic
por: Pratt-Hartmann, Ian
Publicado: (2010)

Solving Quantified Modal Logic Problems by Translation to Classical Logics
por: Steen, Alexander, et al.
Publicado: (2022)

Plausible Reasoning and First-Order Plausible Logic
por: Billington, David
Publicado: (2026)

Why this and not that? A Logic-based Framework for Contrastive Explanations
por: Geibinger, Tobias, et al.
Publicado: (2025)

Experiments with Choice in Dependently-Typed Higher-Order Logic
por: Ranalter, Daniel, et al.
Publicado: (2024)

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
por: Moore, Hayden, et al.
Publicado: (2025)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
por: Borzechowski, Manfred, et al.
Publicado: (2025)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
por: Martina, Antoine, et al.
Publicado: (2023)

TPTP World Infrastructure for Non-classical Logics
por: Steen, Alexander, et al.
Publicado: (2025)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
por: Grotenhuis, Lide, et al.
Publicado: (2026)

Mechanised uniform interpolation for modal logics K, GL, and iSL
por: Férée, Hugo, et al.
Publicado: (2024)

Oruga: An Avatar of Representational Systems Theory
por: Raggi, Daniel, et al.
Publicado: (2025)

Encoding argumentation frameworks with set attackers to propositional logic systems
por: Tang, Shuai, et al.
Publicado: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
por: Tang, Shuai
Publicado: (2025)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
por: Benzmüller, Christoph, et al.
Publicado: (2026)

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

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

Faithful Logic Embeddings in HOL -- Deep and Shallow
por: Benzmüller, Christoph
Publicado: (2025)

A Unified Formal Theory on the Logical Limits of Symbol Grounding
por: Liu, Zhangchi
Publicado: (2025)

Reasoning Around Paradox with Grounded Deduction
por: Ford, Bryan
Publicado: (2024)

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
por: Raggi, Daniel, et al.
Publicado: (2025)

An Incremental Framework for Topological Dialogue Semantics: Efficient Reasoning in Discrete Spaces
por: Santacana, Andreu Ballus
Publicado: (2025)

Encoding Argumentation Frameworks to Propositional Logic Systems
por: Tang, Shuai, et al.
Publicado: (2025)

A Coherence Construction for the Propositional Universe
por: Huang, Xu
Publicado: (2024)

Logic.py: Bridging the Gap between LLMs and Constraint Solvers
por: Kesseli, Pascal, et al.
Publicado: (2025)

First-Order Coalition Logic
por: Catta, Davide, et al.
Publicado: (2025)

Approximate Axiomatization for Differentially-Defined Functions
por: Platzer, André, et al.
Publicado: (2025)

Universal Algebra in UniMath
por: Amato, Gianluca, et al.
Publicado: (2021)

A declarative approach to specifying distributed algorithms using three-valued modal logic
por: Gabbay, Murdoch J., et al.
Publicado: (2025)

Non-Compact Proofs
por: Artemov, Sergei
Publicado: (2025)

Implementing the First-Order Logic of Here and There
por: Otten, Jens, et al.
Publicado: (2026)

Mechanized HOL Reasoning in Set Theory
por: Guilloud, Simon, et al.
Publicado: (2024)

Incomplete Descriptions and Qualified Definiteness
por: Więckowski, Bartosz
Publicado: (2024)