2009. Methods for Modalities, 12-14 November. The Reasoner. 3, 12 (Dec. 2009).