Abstract
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 phi and psi iff (a) the agent is permitted to see to phi Lambda inverted left perpendicular psi and (b) the agent is permitted to see to psi Lambda inverted left perpendicular phi 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.
| Original language | English |
|---|---|
| Pages (from-to) | 289-303 |
| Number of pages | 15 |
| Journal | Logica Yearbook 2016 |
| Publication status | Published - 2017 |