Epistemology, Context, and Formalism

Volume 369 of the series Synthese Library pp 141-168


Action, Failure and Free Will Choice in Epistemic stit Logic

  • Jan BroersenAffiliated withDepartment of Information and Computing Sciences, Utrecht University Email author 
  • , John-Jules Charles MeyerAffiliated withDepartment of Information and Computing Sciences, Utrecht University

* Final gross prices may vary according to local VAT.

Get Access


We study action, failure and free will choice in stit logic. We identify a failing action as a situation where there is a discrepancy between the objective act conducted by an agent and the choice the agent believes to be exercising. To model this in stit logic, we consider extensions with epistemic operators. We discuss several possible logical properties as candidates for a logic of choice, action and failure. Then we propose a definition of free will choice, which uses the distinction between objective action and subjective choice to account for the free will aspect of a choice. The properties of free will choice suggest a connection with so called Frankfurt examples. We investigate this link and discuss issues of determinism, compatibilism and moral responsibility in our context.


Epistemic STIT logic Free will Logic of action Logic of choice