Free choice permission in STIT

We argue for a new approach to free choice permission in the context of a-temporal STIT logic. According to our analysis, an agent has a free choice permission w.r.t. two propositions φ and ψ iff (a) the agent is permitted to see to φ ∧ ¬ψ and (b) the agent is permitted to see to ψ ∧ ¬φ. The primitive notion of permission we use is the dual of one of Horty’s operators for “ought to do” from (Horty, 2001). We argue that the approach improves on existing proposals in various ways.