Horty, John, and Eric Pacuit. "Action Types in Stit Semantics." Review of Symbolic Logic 10 (2017): 617-637.