PP-2002-14: Areces, Carlos and de Rijke, Maarten and Infante-Lopez, Gabriel (2002) Decomposing Modal Logic. [Report]