This paper specifies an extensive form as a 5-ary relation (i.e. set of quintuples) which satisfies certain abstract axioms. Each quintuple is understood to list a player, a situation (e.g. information set), a decision node, an action, and a successor node. Accordingly, the axioms are understood...

The current literature formally links "OR forms" (named after Osborne and Rubinstein 1994) with "KS forms" (named after Kuhn and Selten by Kline and Luckraz 2016). It also formally links "simple forms" with "AR forms" (both from Alós-Ferrer and Ritzberger 2016, with the former less prominent...