Logic and Its Applications

5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

  • Kamal Lodaya
Conference proceedings ICLA 2013

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7750)

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Lawrence E. Blume, David A. Easley, Joseph Y. Halpern
      Pages 1-4
    2. Tim French, John McCabe-Dansted, Mark Reynolds
      Pages 50-68
    3. Gabriel Sandu
      Pages 69-79
  3. Contributed Papers

    1. Ido Ben-Zvi, Yoram Moses
      Pages 97-108
    2. Katsuhiko Sano, Satoshi Tojo
      Pages 109-120
    3. Rohit Parikh
      Pages 121-126
    4. Cezary Cieśliński
      Pages 127-138
    5. Joel David Hamkins, Benedikt Löwe
      Pages 139-147
    6. Simon Kramer
      Pages 173-184
    7. Radha Jagadeesan, Corin Pitcher, James Riely
      Pages 185-196
    8. Soma Dutta, Sanjukta Basu, Mihir Kr. Chakraborty
      Pages 197-209
    9. S. P. Tiwari, Anupam K. Singh
      Pages 210-219
    10. Fernando R. Velázquez-Quesada
      Pages 220-232
    11. Philippe Balbiani, Hans van Ditmarsch, Andrey Kudinov
      Pages 233-244
    12. Yì N. Wáng, Thomas Ågotnes
      Pages 245-257
  4. Back Matter

About these proceedings


This book collects 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 35 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.


bisimulation decision theory epistemic logic forcing modal logic temporal logic

Editors and affiliations

  • Kamal Lodaya
    • 1
  1. 1.The Institute of Mathematical SciencesCIT CampusChennaiIndia

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-36038-1
  • Online ISBN 978-3-642-36039-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software