Edited in collaboration with FoLLI the Association of Logic Language and Information this
book constitutes the refereed proceedings of the 5th Indian Conference on Logic and Its
Applications ICLA 2013 held in Chennai India in January 2013. The 15 revised full papers
presented together with 7 invited talks were carefully reviewed and selected from numerous
submissions. The papers cover the topics related to pure and applied logic foundations and
philosophy of mathematics and the sciences set theory model theory proof theory areas of
theoretical computer science artificial intelligence and other disciplines which are of direct
interest to mathematical and philosophical logic.
