Studia Logica:1-35 (forthcoming)

Authors
Sara Negri
University of Helsinki
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11225-020-09914-1
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,772
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.
Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.

View all 13 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Axioms for Deliberative Stit.Ming Xu - 1998 - Journal of Philosophical Logic 27 (5):505-552.
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems. 93413 Cham, Germany: Springer. pp. 202-218.
Uncompactness of Stit Logics Containing Generalized Refref Conditionals.Ming Xu - 1998 - Notre Dame Journal of Formal Logic 39 (4):485-506.
Stit and the Language of Agency.Michael Perloff - 1991 - Synthese 86 (3):379 - 408.
A Neutral Temporal Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2019 - In P. Blackburn, E. Lorini & M. Guo (eds.), Logic, Rationality, and Interaction. Berlin, Heidelberg: pp. 340-354.
Cut-Free Calculi and Relational Semantics for Temporal STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In Francesco Calimeri, Nicola Leone & Marco Manna (eds.), Logics in Artificial Intelligence. Springer International Publishing. pp. 803 - 819.
From BDI and Stit to Bdi-Stit Logic.Caroline Semmling & Heinrich Wansing - 2008 - Logic and Logical Philosophy 17 (1-2):185-207.
Combinations of Stit with Ought and Know.Ming Xu - 2015 - Journal of Philosophical Logic 44 (6):851-877.
A Dynamic Logic of Agency I: Stit, Capabilities and Powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.
Some Concerns Regarding Ternary-Relation Semantics and Truth-Theoretic Semantics in General.Ross T. Brady - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):755--781.

Analytics

Added to PP index
2020-07-15

Total views
4 ( #1,220,275 of 2,425,356 )

Recent downloads (6 months)
1 ( #547,144 of 2,425,356 )

How can I increase my downloads?

Downloads

My notes