Logic and Its Applications: Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings (Lecture Notes in Computer Science, Band 6521)