Combinations of Stit and Actions

We present a simple theory of actions against the background of branching time, based on which we propose two versions of an extended stit theory, one equipped with particular actions and the other with sets of such actions. After reporting some basic results of a formal development of such a theory, we briefly explore its connection to a version of branching ETL.

[1]  Jan M. Broersen,et al.  A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing' , 2008, DEON.

[2]  Andreas Herzig,et al.  Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency , 2006, J. Log. Comput..

[3]  P. Bertocci,et al.  On Selfhood and Godhood , 1960 .

[4]  Stefan Wölfl,et al.  Events in Branching Time , 2005, Stud Logica.

[5]  Jan M. Broersen,et al.  A Complete STIT Logic for Knowledge and Action, and Some of Its Applications , 2008, DALT.

[6]  Ming Xu,et al.  Axioms for Deliberative Stit , 1998, J. Philos. Log..

[7]  Nuel D. Belnap,et al.  A Theory of Causation: Causae Causantes (Originating Causes) as Inus Conditions in Branching Space-Times , 2005, The British Journal for the Philosophy of Science.

[8]  Andreas Herzig,et al.  A STIT-Extension of ATL , 2006, JELIA.

[9]  Andreas Herzig,et al.  ALTERNATIVE AXIOMATICS AND COMPLEXITY OF DELIBERATIVE STIT THEORIES , 2007, J. Philos. Log..

[10]  N. Belnap,et al.  Facing the Future: Agents and Choices in Our Indeterminist World , 2001 .

[11]  Heinrich Wansing,et al.  Advances in Modal Logic , 2002 .

[12]  Mark A. Brown.  On the logic of ability , 1988, J. Philos. Log..

[13]  D. Clarke.  The logical form of imperatives , 1975 .

[14]  Johan van Benthem,et al.  Merging Frameworks for Interaction , 2009, J. Philos. Log..

[15]  Ming Xu,et al.  Causation in Branching Time (I): Transitions, Events and Causes , 1997, Synthese.

[16]  J. Horty.  Agency and Deontic Logic , 2001 .

[17]  Mark A. Brown.  Acting, Events and Actions , 2008, DEON.

[18]  Ming Xu,et al.  Decidability of Deliberative Stit Theories with Multiple Agents , 1994, ICTL.

[19]  Nuel D. Belnap,et al.  Seeing To it That: A Canonical Form for Agentives , 2008 .

[20]  Ausonio Marras,et al.  Agent, action, and reason , 1971 .

[21]  Stefan Wölfl.  Propositional Q-Logic , 2002, J. Philos. Log..

[22]  Andreas Herzig,et al.  What groups do, can do, and know they can do: an analysis in normal modal logics , 2009, J. Appl. Non Class. Logics.

[23]  D. Davidson.  Essays on actions and events , 1980 .

[24]  Heinrich Wansing,et al.  Tableaux for multi-agent deliberative-stit logic , 2006, Advances in Modal Logic.

[25]  Johan van Benthem.  Logical Dynamics of Information and Interaction: Preface , 2011 .

[26]  C. A. Campbell.  On Selfhood and Godhood , 1958 .

[27]  Johan van Benthem,et al.  The Tree of Knowledge in Action: Towards a Common Perspective , 2006, Advances in Modal Logic.

[28]  Ming Xu.  Actions as Events , 2012, J. Philos. Log..