Logic and Its Applications

Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings (Lecture Notes in Computer Science)
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.

Table of Contents

Chapter 1. Conversation and Games
Chapter 2. Ramsey Theory on Trees and Applications
Chapter 3. Automata, Logic and Games for the -Calculus
Chapter 4. Semantics and Proof Theory of the Epsilon Calculus
Chapter 5. Neighbourhood Contingency Bisimulation
Chapter 6. The Complexity of Finding Read-Once NAE-Resolution Refutations
Chapter 7. Knowing Values and Public Inspection
Chapter 8. Random Models for Evaluating Efficient Büchi Universality Checking
Chapter 9. A Substructural Epistemic Resource Logic
Chapter 10. Deriving Natural Deduction Rules from Truth Tables
Chapter 11. A Semantic Analysis of Stone and Dual Stone Negations with Regularity
Chapter 12. Achieving While Maintaining:
Chapter 13. Peirce’s Sequent Proofs of Distributivity
Chapter 14. On Semantic Gamification
Chapter 15. Ancient Indian Logic and Analogy
Chapter 16. Definability of Recursive Predicates in the Induced Subgraph Order
Chapter 17. Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic