Imagen de Portada

From Actions to Obligations: A Deontic Action Model Logic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Cignarale, Giorgio
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Dynamic Deontic Simplicial Logic for Joint Commitments
por: Cignarale, Giorgio, et al.
Publicado: (2026)

Deontic Action Logics: A Modular Algebraic Perspective
por: Areces, Carlos, et al.
Publicado: (2025)

Consistent Update Synthesis via Privatized Beliefs
por: Schlögl, Thomas, et al.
Publicado: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
por: Lyon, Tim S., et al.
Publicado: (2024)

The Varieties of Ought-Implies-Can and Deontic STIT Logic
por: van Berkel, Kees, et al.
Publicado: (2026)

A Study on Actions for Atomic Logics
por: Espejo-Boix, Raül
Publicado: (2024)

Extending Action Logic with Omega Iteration
por: Pshenitsyn, Tikhon
Publicado: (2025)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
por: Pshenitsyn, Tikhon
Publicado: (2023)

Deontic Argumentation
por: Governatori, Guido, et al.
Publicado: (2025)

Model Checking Logical Actions in Magic Tricks
por: Zhu, Weijun
Publicado: (2024)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
por: Gupta, Gopal, et al.
Publicado: (2025)

Łukasiewicz Logic with Actions for Neural Networks training
por: Leuştean, Ioana, et al.
Publicado: (2025)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
por: Kozhemiachenko, Daniil, et al.
Publicado: (2026)

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

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

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
por: Bacci, Giorgio, et al.
Publicado: (2025)

A Sufficient Epistemic Condition for Solving Stabilizing Agreement
por: Cignarale, Giorgio, et al.
Publicado: (2024)

Deontic Temporal Logic for Formal Verification of AI Ethics
por: V., Priya T., et al.
Publicado: (2025)

Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
por: Cignarale, Giorgio, et al.
Publicado: (2025)

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

A Diagrammatic Algebra for Program Logics
por: Bonchi, Filippo, et al.
Publicado: (2024)

Self-Correcting Gossip Protocols
por: Cignarale, Giorgio, et al.
Publicado: (2026)

A Logic of Secrecy on Simplicial Models
por: Wang, Shanxia
Publicado: (2026)

Polynomial Lawvere Logic
por: Bacci, Giorgio, et al.
Publicado: (2024)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
por: Bacci, Giorgio, et al.
Publicado: (2025)

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

A Logic of Inability
por: Wang, Shanxia
Publicado: (2026)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2022)

Agent-Knowledge Logic for Alternative Epistemic Logic
por: Nishimura, Yuki
Publicado: (2024)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
por: Lyon, Tim S.
Publicado: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
por: Marin, Sonia, et al.
Publicado: (2025)

Skolemization In Intermediate Logics
por: Baaz, Matthias, et al.
Publicado: (2025)

Constructive Quantum Logics
por: Aguilera, Juan P., et al.
Publicado: (2025)

Sequent Calculi for Data-Aware Modal Logics
por: Areces, Carlos, et al.
Publicado: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
por: Almeida, Rodrigo Nicolau, et al.
Publicado: (2024)

Guarded Successor: A Novel Temporal Logic
por: Asor, Ohad
Publicado: (2024)

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

Decidability of Quantum Modal Logic
por: Tokuo, Kenji
Publicado: (2026)

Dependence Logics in Temporal Settings
por: Baltag, Alexandru, et al.
Publicado: (2022)

Dynamic Cantor Derivative Logic
por: Fernández-Duque, David, et al.
Publicado: (2021)