Logic and Its Applications

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

  • Kamal Lodaya
Conference proceedings ICLA 2013

DOI: 10.1007/978-3-642-36039-8

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

Table of contents (22 papers)

  1. Front Matter
  2. Invited Papers

    1. Constructive Decision Theory
      Lawrence E. Blume, David A. Easley, Joseph Y. Halpern
      Pages 1-4
    2. Indiscrete Models: Model Building and Model Checking over Linear Time
      Tim French, John McCabe-Dansted, Mark Reynolds
      Pages 50-68
    3. Probabilistic IF Logic
      Gabriel Sandu
      Pages 69-79
  3. Contributed Papers

    1. Agent-Time Epistemics and Coordination
      Ido Ben-Zvi, Yoram Moses
      Pages 97-108
    2. Dynamic Epistemic Logic for Channel-Based Agent Communication
      Katsuhiko Sano, Satoshi Tojo
      Pages 109-120
    3. On Kripke’s Puzzle about Time and Thought
      Rohit Parikh
      Pages 121-126
    4. Yablo Sequences in Truth Theories
      Cezary Cieśliński
      Pages 127-138
    5. Moving Up and Down in the Generic Multiverse
      Joel David Hamkins, Benedikt Löwe
      Pages 139-147
    6. Logic of Non-monotonic Interactive Proofs
      Simon Kramer
      Pages 173-184
    7. Noninterference for Intuitionist Necessity
      Radha Jagadeesan, Corin Pitcher, James Riely
      Pages 185-196
    8. Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal
      Soma Dutta, Sanjukta Basu, Mihir Kr. Chakraborty
      Pages 197-209
    9. Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System
      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

  • 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