Logic and Its Applications

1. Front Matter

   Pages I-X

   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

    PDF

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.

• bisimulation
• computational complexity
• hybrid logic
• perp semantics
• strategic reasoning
• algorithm analysis and problem complexity

• Indian Statistical Institute , Chennai, India

  Sujata Ghosh

• Indian Institute of Technology Delhi , New Delhi, India

  Sanjiva Prasad

Policies and ethics