Cover Image

Extending Defeasibility for Propositional Standpoint Logics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Leisegang, Nicholas, Meyer, Thomas, Varzinczak, Ivan
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Propositional KLM-Style Defeasible Standpoint Logics
by: Leisegang, Nicholas, et al.
Published: (2024)

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
by: Leisegang, Nicholas, et al.
Published: (2025)

Rational Inference in Formal Concept Analysis
by: Carr, Lucas, et al.
Published: (2025)

Defeasible Conditionals using Answer Set Programming
by: Dennison, Racquel, et al.
Published: (2026)

Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
by: Carr, Lucas, et al.
Published: (2024)

Relative Expressiveness of Defeasible Logics II
by: Maher, Michael J.
Published: (2021)

Defeasible Reasoning on Concepts
by: Ding, Yiwen, et al.
Published: (2024)

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
by: Parent, Xavier
Published: (2026)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
by: Bednarczyk, Bartosz
Published: (2023)

Toward Robust Legal Text Formalization into Defeasible Deontic Logic using LLMs
by: Horner, Elias, et al.
Published: (2025)

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
by: An, Chenyang, et al.
Published: (2024)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
by: Wernhard, Christoph
Published: (2017)

Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
by: Molick, Sanderson, et al.
Published: (2026)

Complexity of Faceted Explanations in Propositional Abduction
by: Schmidt, Johannes, et al.
Published: (2025)

Model Checking Linear Temporal Logic with Standpoint Modalities
by: Aghamov, Rajab, et al.
Published: (2025)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
by: Aria, Hadi Partovi, et al.
Published: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
by: Bienvenu, Meghyn, et al.
Published: (2024)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
by: Liu, Yinhong, et al.
Published: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

State Algebra for Propositional Logic
by: Lesnik, Dmitry, et al.
Published: (2025)

On Propositional Dynamic Logic and Concurrency
by: Acclavio, Matteo, et al.
Published: (2024)

Intuitionistic Propositional Logic in Lean
by: Trufaş, Dafina
Published: (2024)

Propositional Logics for the Lawvere Quantale
by: Bacci, Giorgio, et al.
Published: (2023)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
by: Ding, Yifeng, et al.
Published: (2024)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
by: Lyon, Tim S.
Published: (2024)

A Logic of Uncertain Interpretation
by: Bjorndahl, Adam
Published: (2025)

Logical foundations of Smart Contracts
by: Kalala, Kalonji
Published: (2025)

On the Logical Content of Knowledge Bases
by: Gheorghiu, Alexader V., et al.
Published: (2025)

Metric Dynamic Equilibrium Logic
by: Becker, Arvid, et al.
Published: (2024)

Existential Notation3 Logic
by: Arndt, Dörthe, et al.
Published: (2023)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
by: Wang, Ruolin, et al.
Published: (2024)

Logical Characterizations of GNNs with Mean Aggregation
by: Schönherr, Moritz, et al.
Published: (2025)

Deductive Systems for Logic Programs with Counting
by: Fandinno, Jorge, et al.
Published: (2025)

Fuzzy Lattice-based Description Logic
by: Ding, Yiwen, et al.
Published: (2025)

Probabilistic Strategy Logic with Degrees of Observability
by: Mu, Chunyan, et al.
Published: (2024)

Model Change for Description Logic Concepts
by: Ozaki, Ana, et al.
Published: (2026)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
by: Olivieri, Pierriccardo, et al.
Published: (2026)