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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-642-36039-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-36038-1
  • Online ISBN 978-3-642-36039-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book