Logic and Its Applications

8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

  • Md. Aquil Khan
  • Amaldev Manuel
Conference proceedings ICLA 2019

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11600)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Philippe Balbiani
    Pages 1-5
  3. Anantha Padmanabha, R. Ramanujam
    Pages 6-17
  4. Michał Tomasz Godziszewski, Rafal Urbaniak
    Pages 18-29
  5. Tim French, Andrew Gozzard, Mark Reynolds
    Pages 52-63
  6. Nenad Savić, Thomas Studer
    Pages 64-75
  7. Abhisekh Sankaran
    Pages 76-88
  8. Mike Prest
    Pages 89-102
  9. Cezary Cieśliński
    Pages 121-131
  10. Katsuhiko Sano, Minghui Ma
    Pages 132-143
  11. Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis
    Pages 144-159
  12. Jasine Babu, Karunakaran Murali Krishnan, Vineeth Paleri
    Pages 160-172
  13. Rohit Parikh
    Pages 173-182
  14. Abhishek Kr Singh, Raja Natarajan
    Pages 183-194
  15. Back Matter
    Pages 195-195

About these proceedings


This book collects the refereed proceedings of the 8th Indian Conference on Logic and Its Applications, ICLA 2019, held in Delhi, India, in March 2019. The volume contains 13 full revised papers along with 6 invited talks presented at the conference.  The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. Areas of interest include mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, and the relationship between logic and other branches of knowledge. Of special interest are studies in systems of logic in the Indian tradition, and historical research on logic.


Formal logic Education logic set theory model theory systems of logic in the Indian tradition semantics artificial intelligence theorem proving modal logic graph theory software engineering first order logic databases logic and verification proof theory modal and temporal logics automated reasoning term modal logic rough set theory formal concept analysis lattice-based logics

Editors and affiliations

  • Md. Aquil Khan
    • 1
  • Amaldev Manuel
    • 2
  1. 1.Indian Institute of Technology IndoreMadhya PradeshIndia
  2. 2.Indian Institute of Technology GoaGoaIndia

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Germany, part of Springer Nature 2019
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-58770-6
  • Online ISBN 978-3-662-58771-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software