Methods for Modalities Workshop 2013 (CADE13) is organized this year by Carlos Areces. For more information see: http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/Methods for Modalities Workshop 2013 (CADE13) is organized this year by Carlos Areces. For more information see: http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/Methods for Modalities Workshop 2013 (CADE13) is organized this year by Carlos Areces. For more information see: http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/