Cover Image

Obligations and permissions, algebraically

Fuente: arXiv

Saved in:

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

Similar Items

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

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

Normative implications
by: De Domenico, Andrea, et al.
Published: (2025)

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

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)

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

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

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

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

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

Modular constructive Lyndon interpolation for nondistributive logics
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)

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

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

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

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

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

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)

Fast Obligation Translation and Synthesis
by: Duret-Lutz, Alexandre, et al.
Published: (2026)

Symbolic Synthesis for LTLf+ Obligations
by: De Giacomo, Giuseppe, et al.
Published: (2026)

Specifying an Obligation Taxonomy in the Non-Markovian Situation Calculus
by: Kalala, Kalonji, et al.
Published: (2025)

From Actions to Obligations: A Deontic Action Model Logic
by: Cignarale, Giorgio
Published: (2026)

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

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
by: Shea-Blymyer, Colin, et al.
Published: (2024)

An essentially algebraic glance to Kripke semantics: the S5 case
by: De Berardinis, Matteo, et al.
Published: (2025)

Cyclic system for an algebraic theory of alternating parity automata
by: Das, Anupam, et al.
Published: (2025)

An algebraic theory of ω-regular languages, via μν-expressions
by: Das, Anupam, et al.
Published: (2025)

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

Difference-restriction algebras with operators
by: Borlido, Célia, et al.
Published: (2025)

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

Convex algebras on an interval with semicontinuous monotone operations
by: Sokolova, Ana, et al.
Published: (2026)

The completeness and congruences of quasi-Boolean algebras
by: Liu, Xiaohao, et al.
Published: (2025)

Finite coproducts, coregularity and coexactness for profinite interior algebras
by: De Berardinis, Matteo
Published: (2025)

Nelson algebras, residuated lattices and rough sets: A survey
by: Järvinen, Jouni, et al.
Published: (2024)