Image de couverture de livre

The Varieties of Ought-Implies-Can and Deontic STIT Logic

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	van Berkel, Kees, Lyon, Tim S.
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Proof Theory and Decision Procedures for Deontic STIT Logics
par: Lyon, Tim S., et autres
Publié: (2024)

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

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

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
par: Lyon, Tim S.
Publié: (2024)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
par: Lyon, Tim S.
Publié: (2024)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
par: Lyon, Tim S.
Publié: (2022)

Decidability of Quasi-Dense Modal Logics
par: Ostropolski-Nalewaja, Piotr, et autres
Publié: (2024)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
par: Lyon, Tim S., et autres
Publié: (2026)

Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents
par: Lyon, Tim S.
Publié: (2026)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

A Dynamic Deontic Simplicial Logic for Joint Commitments
par: Cignarale, Giorgio, et autres
Publié: (2026)

Deontic Action Logics: A Modular Algebraic Perspective
par: Areces, Carlos, et autres
Publié: (2025)

From Actions to Obligations: A Deontic Action Model Logic
par: Cignarale, Giorgio
Publié: (2026)

Deontic Argumentation
par: Governatori, Guido, et autres
Publié: (2025)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
par: Gupta, Gopal, et autres
Publié: (2025)

Toward Robust Legal Text Formalization into Defeasible Deontic Logic using LLMs
par: Horner, Elias, et autres
Publié: (2025)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
par: Lyon, Tim S., et autres
Publié: (2023)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
par: Lyon, Tim S.
Publié: (2025)

Deontic Temporal Logic for Formal Verification of AI Ethics
par: V., Priya T., et autres
Publié: (2025)

Dependence Logics in Temporal Settings
par: Baltag, Alexandru, et autres
Publié: (2022)

Modal Logic for Simulation, Refinement, and Mutual Ignorance
par: van Ditmarsch, Hans, et autres
Publié: (2025)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
par: Lyon, Tim S., et autres
Publié: (2023)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
par: Feller, Thomas, et autres
Publié: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

A Logic of Inability
par: Wang, Shanxia
Publié: (2026)

Skolemization In Intermediate Logics
par: Baaz, Matthias, et autres
Publié: (2025)

Constructive Quantum Logics
par: Aguilera, Juan P., et autres
Publié: (2025)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Decidability of Quantum Modal Logic
par: Tokuo, Kenji
Publié: (2026)

Dynamic Cantor Derivative Logic
par: Fernández-Duque, David, et autres
Publié: (2021)

A Logic of Secrecy on Simplicial Models
par: Wang, Shanxia
Publié: (2026)

Dynamic Probability Logic: Decidability & Computability
par: Chopoghloo, Somayeh, et autres
Publié: (2024)

A Study on Actions for Atomic Logics
par: Espejo-Boix, Raül
Publié: (2024)

Extending Action Logic with Omega Iteration
par: Pshenitsyn, Tikhon
Publié: (2025)

Distribution-Free Normal Modal Logics
par: Hartonas, Chrysafis
Publié: (2024)

Base-extension Semantics for Modal Logic
par: Eckhardt, Timo, et autres
Publié: (2024)

Relational semantics for flat Heyting-Lewis Logic
par: de Groot, Jim, et autres
Publié: (2026)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)