 For the present theory of conditional belief \(B_a^FG\), defeasible knowledge \(\Box_aF\), and information possession \(K_aF\), we take a similar approach: we define plausibility action models, which are action model-type objects whose relational structure matches the relational structure of the models of this theory—plausibility models. Since a finite plausibility model has the form \((W,\geq,V)\), our intuition from the Kripke model case suggests that plausibility action models should have the form \((E,\geq,\pre)\), with E a finite nonempty set of events, \(\geq\) a function giving a plausibility relation \(\geq_a\) for each agent a, and \(\pre\) a precondition function as before. 