In this appendix we consider a procedure to assess quantitatively whether the expressive or strategic voting model is more appropriate for the state supreme court voting data used in this paper. As we remarked in the main text, for a given set of cases, the first-stage likelihood function for the votes is identical for both the expressive and strategic voting models, and in this sense the two m...

3 Logical Relation Proofs 15 3.1 Basic Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3.1.1 Properties of Step-Indexed Construction . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3.1.2 Approximation Yields Valid Semantic Objects . . . . . . . . . . . . . . . . . . . . . . 17 3.1.3 World Extension and Store Satisfaction Properties . . ...

We provide a very simple model of a reeective facility based on the pure-calculus, and we show that its theory of contextual equivalence is trivial: two terms in the language are contextually equivalent ii they are-congruent.

Observational learning is based on a critical assumption that trainees can and do recognize critical modeled behaviors. This assumption has been virtually untested in applied settings. We studied the effects of work experience and instructions on the ability of 59 observers to recognize target behaviors in an observational learning paradigm similar to existing ones. Additionally, we investigate...