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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-540-92701-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-92700-6
  • Online ISBN 978-3-540-92701-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book