Abstract

Taking the perspective of knowledge representation, we introduce a simple logic of agency where the agents’ actions are described by their precondition and effects and whose semantics is based on the concept of attempt. We give its syntax, semantics, and axiomatics and discuss the relation with other proposals, in particular Belnap and Horty’s ‘branching time and agent choice’ semantics (BT+AC) and Czelakowski’s relational semantics.