Cover Image

Normative implications

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	De Domenico, Andrea, Farjami, Ali, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia, Tzimoulis, Apostolos, Wang, Xiaolong
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Obligations and permissions on selfextensional logics
by: De Domenico, Andrea, et al.
Published: (2024)

Obligations and permissions, algebraically
by: De Domenico, Andrea, et al.
Published: (2024)

Game semantics for lattice-based modal μ-calculus
by: Ding, Yiwen, et al.
Published: (2023)

Modal reduction principles: a parametric shift to graphs
by: Conradie, Willem, et al.
Published: (2024)

Questions as cognitive filters
by: Conradie, Willem, et al.
Published: (2025)

Modular constructive Lyndon interpolation for nondistributive logics
by: De Domenico, Andrea, et al.
Published: (2026)

Labelled calculi for lattice-based modal logics
by: van der Berg, Ineke, et al.
Published: (2024)

Labelled calculi for the logics of rough concepts
by: van der Berg, Ineke, et al.
Published: (2024)

Unified inverse correspondence for LE-logics
by: Palmigiano, Alessandra, et al.
Published: (2024)

Non-distributive description logic
by: van der Berg, Ineke, et al.
Published: (2023)

Flexible categorization using formal concept analysis and Dempster-Shafer theory
by: Boersma, Marcel, et al.
Published: (2024)

A proof-theoretic approach to abstract interpretation
by: D'Silva, Vijay, et al.
Published: (2026)

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
by: Ding, Yiwen, et al.
Published: (2024)

Algebraic proof theory for LE-logics
by: Greco, Giuseppe, et al.
Published: (2018)

Inception Display Calculi
by: De Domenico, Andrea, et al.
Published: (2026)

Canonical Extensions of Quantale-Enriched Categories
by: Kurz, Alexander, et al.
Published: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
by: De Domenico, Andrea, et al.
Published: (2026)

Query Answering in Lattice-based Description Logic
by: Manoorkar, Krishna, et al.
Published: (2024)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

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

Knowledge on a Budget
by: Majer, Ondrej, et al.
Published: (2026)

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

Generating proof systems for three-valued propositional logics
by: Greati, Vitor, et al.
Published: (2024)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
by: Farjami, Ali, et al.
Published: (2026)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
by: Liang, Xiaolong, et al.
Published: (2024)

Fuzzy Aristotelian Diagrams
by: Syropoulos, Apostolos
Published: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
by: Joyce, Johnny
Published: (2025)

Ignorance with(out) Grasping
by: Kubyshkina, Ekaterina, et al.
Published: (2026)

Separation of congruence intervals and implications
by: Bulatov, Andrei A.
Published: (2020)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

Foulis-Holland theorem for implicative-orthomodular lattices
by: Ciungu, Lavinia Corina
Published: (2024)

Ignorance as an excuse, formally
by: Kubyshkina, Ekaterina, et al.
Published: (2025)

Orthogonality relations and operators on bounded quasi-implication algebras
by: McDonald, Joseph
Published: (2025)

Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)

Cylindric quasi-implication algebras
by: McDonald, Joseph
Published: (2025)

A logic for default deontic reasoning
by: Piazza, Mario, et al.
Published: (2025)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)

Epistemic Skills: Logical Dynamics of Knowing and Forgetting
by: Liang, Xiaolong, et al.
Published: (2024)

Undecidability of theories of semirings with fixed points
by: Das, Anupam, et al.
Published: (2025)