Logic and Its Applications

Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

  • R. Ramanujam
  • Sundar Sarukkai
Conference proceedings ICLA 2009

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 5378)

Table of contents

  1. Front Matter
  2. Joel David Hamkins
    Pages 36-50
  3. Rohit Parikh
    Pages 65-76
  4. Esko Turunen
    Pages 77-88
  5. Moshe Y. Vardi
    Pages 89-115
  6. Dietmar Berwanger, Sophie Pinchinat
    Pages 116-130
  7. Emmanuel J. Genot
    Pages 131-145
  8. Patrick Girard, Jeremy Seligman
    Pages 146-161
  9. Jürgen Landes, Jeff Paris, Alena Vencovská
    Pages 162-169
  10. Igor Stéphan, Benoit Da Mota
    Pages 210-223
  11. Benny George Kenkireth, Samrith Ram
    Pages 224-231
  12. G. S. Mahalakshmi, T. V. Geetha, Arun Kumar, Dinesh Kumar, S. Manikandan
    Pages 232-242
  13. Marie-Hélène Gorisse
    Pages 257-268
  14. Back Matter

About these proceedings


Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 5th volume of the FoLLI LNAI subline. It contains the refereed proceedings of the Third Indian Conference on Logic and Its Applications, ICLA 2009, held in Chennai, India, in January 2009.

The 12 revised full papers presented together with 7 invited lectures were carefully reviewed and selected from numerous submissions. The papers present current research in all aspects of formal logic. They address in detail: algebraic logic and set theory, combinatorics and philosophical logic, modal logics with applications to computer science and game theory, and connections between ancient logic systems and modern systems.


LA algorithms analytic proof theory artificial intelligence automata calculi combinatorics complexity theory computational logic epistemic uncertainty game theory grammars hybrid language hybrid logic logic

Editors and affiliations

  • R. Ramanujam
    • 1
  • Sundar Sarukkai
    • 2
  1. 1.Institute of Mathematical SciencesChennaiIndia
  2. 2.National Institute of Advanced Studies, Indian Institute of Science CampusBangaloreIndia

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-92700-6
  • Online ISBN 978-3-540-92701-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences