Skip to main content
SpringerLink
Log in
Book cover

Logic and Its Applications

7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Sujata Ghosh

    1. Indian Statistical Institute , Chennai, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sanjiva Prasad

    1. Indian Institute of Technology Delhi , New Delhi, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICLA 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Conversation and Games

    • Nicholas Asher, Soumya Paul
    Pages 1-18

  3. Ramsey Theory on Trees and Applications

    • Natasha Dobrinen
    Pages 19-22

  4. Automata, Logic and Games for the \(\lambda \)-Calculus

    • C.-H. Luke Ong
    Pages 23-26

  5. Semantics and Proof Theory of the Epsilon Calculus

    • Richard Zach
    Pages 27-47

  6. Neighbourhood Contingency Bisimulation

    • Zeinab Bakhtiari, Hans van Ditmarsch, Helle Hvid Hansen
    Pages 48-63

  7. The Complexity of Finding Read-Once NAE-Resolution Refutations

    • Hans Kleine Büning, Piotr Wojciechowski, K. Subramani
    Pages 64-76

  8. Knowing Values and Public Inspection

    • Jan van Eijck, Malvin Gattinger, Yanjing Wang
    Pages 77-90

  9. Random Models for Evaluating Efficient Büchi Universality Checking

    • Corey Fisher, Seth Fogarty, Moshe Vardi
    Pages 91-105

  10. A Substructural Epistemic Resource Logic

    • Didier Galmiche, Pierre Kimmel, David Pym
    Pages 106-122

  11. Deriving Natural Deduction Rules from Truth Tables

    • Herman Geuvers, Tonny Hurkens
    Pages 123-138

  12. A Semantic Analysis of Stone and Dual Stone Negations with Regularity

    • Arun Kumar, Mohua Banerjee
    Pages 139-153

  13. Achieving While Maintaining:

    • Yanjun Li, Yanjing Wang
    Pages 154-167

  14. Peirce’s Sequent Proofs of Distributivity

    • Minghui Ma, Ahti-Veikko Pietarinen
    Pages 168-182

  15. On Semantic Gamification

    • Ignacio Ojea Quintana
    Pages 183-197

  16. Ancient Indian Logic and Analogy

    • Jeff B. Paris, Alena Vencovská
    Pages 198-210

  17. Definability of Recursive Predicates in the Induced Subgraph Order

    • Ramanathan S. Thinniyam
    Pages 211-223

  18. Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic

    • PrzemysÅ‚aw Andrzej WaÅ‚Ä™ga
    Pages 224-238

  19. Back Matter

    Pages 239-239
    Download chapter PDF
Back to top

Other volumes

  1. Logic and Its Applications

Keywords

About this book

This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers along with 4 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.

Editors and Affiliations

  • Indian Statistical Institute , Chennai, India

    Sujata Ghosh

  • Indian Institute of Technology Delhi , New Delhi, India

    Sanjiva Prasad

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation