Buchumschlag

Deontic Action Logics: A Modular Algebraic Perspective

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Areces, Carlos, Cassano, Valentin, Castro, Pablo, Fervari, Raul
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Data-Aware Hybrid Tableaux
von: Areces, Carlos, et al.
Veröffentlicht: (2024)

Satisfiability for Knowing How over Linear Plans is NP-complete
von: Areces, Carlos, et al.
Veröffentlicht: (2026)

Beyond the Spell: A Dynamic Logic Analysis of Misdirection
von: Icard, Benjamin, et al.
Veröffentlicht: (2024)

From Actions to Obligations: A Deontic Action Model Logic
von: Cignarale, Giorgio
Veröffentlicht: (2026)

Proof Theory and Decision Procedures for Deontic STIT Logics
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

A Dynamic Deontic Simplicial Logic for Joint Commitments
von: Cignarale, Giorgio, et al.
Veröffentlicht: (2026)

The Varieties of Ought-Implies-Can and Deontic STIT Logic
von: van Berkel, Kees, et al.
Veröffentlicht: (2026)

A Study on Actions for Atomic Logics
von: Espejo-Boix, Raül
Veröffentlicht: (2024)

Deontic Argumentation
von: Governatori, Guido, et al.
Veröffentlicht: (2025)

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

Extending Action Logic with Omega Iteration
von: Pshenitsyn, Tikhon
Veröffentlicht: (2025)

Toward Robust Legal Text Formalization into Defeasible Deontic Logic using LLMs
von: Horner, Elias, et al.
Veröffentlicht: (2025)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
von: Pshenitsyn, Tikhon
Veröffentlicht: (2023)

Deontic Temporal Logic for Formal Verification of AI Ethics
von: V., Priya T., et al.
Veröffentlicht: (2025)

Algebraic Proof Theory for Infinitary Action Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

Łukasiewicz Logic with Actions for Neural Networks training
von: Leuştean, Ioana, et al.
Veröffentlicht: (2025)

Hypergraph Semantics for Doxastic Logics
von: van Ditmarsch, Hans, et al.
Veröffentlicht: (2025)

A Logic of Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

Rings and Boolean Algebras as Algebraic Theories
von: De Faveri, Arturo
Veröffentlicht: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
von: Nishimura, Yuki
Veröffentlicht: (2024)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
von: Marin, Sonia, et al.
Veröffentlicht: (2025)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2026)

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

A Logic of Secrecy on Simplicial Models
von: Wang, Shanxia
Veröffentlicht: (2026)

Skolemization In Intermediate Logics
von: Baaz, Matthias, et al.
Veröffentlicht: (2025)

Constructive Quantum Logics
von: Aguilera, Juan P., et al.
Veröffentlicht: (2025)

Model Checking Logical Actions in Magic Tricks
von: Zhu, Weijun
Veröffentlicht: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Guarded Successor: A Novel Temporal Logic
von: Asor, Ohad
Veröffentlicht: (2024)

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
von: Barenbaum, Pablo
Veröffentlicht: (2026)

Dependence Logics in Temporal Settings
von: Baltag, Alexandru, et al.
Veröffentlicht: (2022)

Decidability of Quantum Modal Logic
von: Tokuo, Kenji
Veröffentlicht: (2026)

Dynamic Cantor Derivative Logic
von: Fernández-Duque, David, et al.
Veröffentlicht: (2021)

A General (Uniform) Relational Semantics for Sentential Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2025)

A Linear Temporal Logic of Frequencies on Series of Events
von: Antonelli, Melissa, et al.
Veröffentlicht: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)

Sharing and Linear Logic with Restricted Access (Extended Version)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2025)

Dynamic Probability Logic: Decidability & Computability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)