Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT-Reference-Cited by-同舟云学术

Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT

Published:2020-07-15 Issue:3 Volume:109 Page:473-507
ISSN:0039-3215
Container-title:Studia Logica
language:en
Short-container-title:Stud Logica

Author:

Negri S.^ORCID,Pavlović E.^ORCID

Abstract

AbstractA sequent calculus methodology for systems of agency based on branching-time frames with agents and choices is proposed, starting with a complete and cut-free system for multi-agent deliberative STIT; the methodology allows a transparent justification of the rules, good structural properties, analyticity, direct completeness and decidability proofs.

Funder

Kulttuurin ja Yhteiskunnan Tutkimuksen Toimikunta

Publisher

Springer Science and Business Media LLC

Subject

History and Philosophy of Science,Logic

Link

https://link.springer.com/content/pdf/10.1007/s11225-020-09914-1.pdf

Reference21 articles.

1. Balbiani, P., A. Herzig, and N. Troquard, Alternative axiomatics and complexity of deliberative STIT theories, Journal of Philosophical Logic 37:387–406, 2008.

2. Belnap, N. D., M. Perloff, and M. Xu, Facing the Future: Agents and Choices in Our Indeterminist World, Oxford: Oxford University Press, 2001.

3. Chellas, B. F., Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980.

4. Dyckhoff, R., and S. Negri, Geometrization of first-order logic, The Bulletin of Symbolic Logic 21:123–163, 2015.

5. Garg, D., V. Genovese, and S. Negri, Countermodels from sequent calculi in multi-modal logics, In D. Galmiche and D. Larchey Wendling (eds.), Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX2013), Lecture Notes in Computer Science, 8123:315–324, 2013.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Decidable fragments of the Quantified argument calculus;The Review of Symbolic Logic;2023-09-29

2. Mechanising Gödel–Löb Provability Logic in HOL Light;Journal of Automated Reasoning;2023-08-29

3. Stit-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT;The Review of Symbolic Logic;2021-12-06

4. Alternative Axiomatization for Logics of Agency in a G3 Calculus;Foundations of Science;2021-07-06