MSDRT: a Semantics for Attributions of Multiple Attitudes with Referential Dependencies: Format, Logical Form Construction, Model Theory