Logic and Its Applications, ICLA 2013, held in Chennai, India, in January 2013. The 15