Copertina

Proof Theory and Decision Procedures for Deontic STIT Logics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lyon, Tim S., van Berkel, Kees
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

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

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

Decidability of Quasi-Dense Modal Logics
di: Ostropolski-Nalewaja, Piotr, et al.
Pubblicazione: (2024)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
di: Lyon, Tim S.
Pubblicazione: (2022)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
di: Lyon, Tim S., et al.
Pubblicazione: (2026)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
di: Lyon, Tim S., et al.
Pubblicazione: (2023)

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

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

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

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

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

Proof-theoretic Semantics for First-order Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2024)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
di: Gu, Tao, et al.
Pubblicazione: (2023)

Proof Complexity of Linear Logics
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2026)

Proof-Theoretic Functional Completeness for the Connexive Logic C
di: Ayhan, Sara, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

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

Universal Proof Theory, TACL 2022 Lecture Notes
di: Iemhoff, Rosalie, et al.
Pubblicazione: (2023)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Deontic Argumentation
di: Governatori, Guido, et al.
Pubblicazione: (2025)

Dependence Logics in Temporal Settings
di: Baltag, Alexandru, et al.
Pubblicazione: (2022)

An Introduction to Categorical Proof Theory
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

Proofs that Modify Proofs, 1/2
di: Towsner, Henry
Pubblicazione: (2025)

Interpolation in Proof Theory
di: van der Giessen, Iris, et al.
Pubblicazione: (2026)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
di: Feller, Thomas, et al.
Pubblicazione: (2023)

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

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
di: van der Giessen, Iris, et al.
Pubblicazione: (2023)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
di: Lyon, Tim S., et al.
Pubblicazione: (2023)

Agent-Knowledge Logic for Alternative Epistemic Logic
di: Nishimura, Yuki
Pubblicazione: (2024)

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

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

Cyclic Proofs for iGL via Corecursion
di: Miranda, Borja Sierra
Pubblicazione: (2023)