Agents and choices in branching time with instants
Nuel Belnap, Michael Perloff, Ming Yao Xu · 2001
Abstract We continue to discuss a variety of foundational matters concerning the theory of agents making choices in our indeterminist world.* Other chapters, especially chapter 2, have set out and briefly discussed a number of postulates-the BT+ I+ AC postulates-on which stit theory and its semantics is based. In this chapter we consider these postulates one by one.