Abstract
A 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.
Article PDF
Similar content being viewed by others
References
Balbiani, P., A. Herzig, and N. Troquard, Alternative axiomatics and complexity of deliberative STIT theories, Journal of Philosophical Logic 37:387–406, 2008.
Belnap, N. D., M. Perloff, and M. Xu, Facing the Future: Agents and Choices in Our Indeterminist World, Oxford: Oxford University Press, 2001.
Chellas, B. F., Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980.
Dyckhoff, R., and S. Negri, Geometrization of first-order logic, The Bulletin of Symbolic Logic 21:123–163, 2015.
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.
Girlando, M., S. Negri, N. Olivetti, and V. Risch, Conditional beliefs: from neighbourhood semantics to sequent calculus, The Review of Symbolic Logic 11:736-779, 2018.
Negri, S., Proof analysis in modal logic, Journal of Philosophical Logic 34:507–544, 2005.
Negri, S., Proofs and countermodels in non-classical logics, Logica Universalis 8:25–60, 2014.
Negri, S., Proof theory for non-normal modal logics: The neighbourhood formalism and basic results, IfCoLog Journal of Logics and their Applications 4:1241–1286, 2017.
Negri, S., and N. Olivetti, A sequent calculus for preferential conditional logic based on neighbourhood semantics, In H. de Nivelle (ed.), Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX2015), Lecture Notes in Computer Science, 9323:115–134, 2015.
Negri, S., and J. von Plato, Cut elimination in the presence of axioms, The Bulletin of Symbolic Logic 4:418-435, 1998.
Negri, S., and J. von Plato, Structural Proof Theory, Cambridge University Press, Cambridge, 2001.
Negri, S., and J. von Plato, Proof Analysis, Cambridge University Press, Cambridge, 2011.
Negri, S., and G. Sbardolini, Proof analysis for Lewis counterfactuals, The Review of Symbolic Logic 9:44–75, 2016.
Olkhovikov, G. K., and H. Wansing, An axiomatic system and a tableau calculus for STIT imagination logic, Journal of Philosophical Logic 47(2):259–279, 2018.
Olkhovikov, G. K., and H. Wansing, Simplified Tableaux for STIT Imagination Logic, Journal of Philosophical Logic 2019, https://doi.org/10.1007/s10992-019-09503-1
Orlandelli, E., Proof analysis in deontic logics, In F. Cariani et al. (eds.), Deontic Logic and Normative Systems (DEON2014), Lecture Notes in Artificial Intelligence, 8554:139–148, 2014.
von Wright, G. H., Norm and Action: A Logical Enquiry, Routledge & Kegan Paul, Abingdon, 1963.
Wansing, H., Tableaux for multi-agent deliberative-stit logic, In G. Governatori, I.M. Hodkinson, Y. Venema (eds.), Advances in Modal Logic 6, 2006, pp. 503–520.
Wansing, H., Remarks on the logic of imagination. A step towards understanding doxastic control through imagination, Synthese 194:2843–2861, 2017.
Xu, M., Axioms for deliberative STIT, Journal of Philosophical Logic 27:505–552,1998.
Acknowledgements
Open access funding provided by University of Helsinki including Helsinki University Central Hospital. The first author presented part of the results contained in this article in the Workshop ‘Doxastic Agency and Epistemic Logic’ (Bochum, 2017), the organizers of which are gratefully acknowledged. This work was partially supported by the Academy of Finland, research Project No. 1308664.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Heinrich Wansing
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Negri, S., Pavlović, E. Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT. Stud Logica 109, 473–507 (2021). https://doi.org/10.1007/s11225-020-09914-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-020-09914-1