Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings - Ghosh, Sujata; Prasad, Sanjiva; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017)
Conversation and Games -- Ramsey Theory on Trees and Applications -- Automata, Logic and Games for the Lambda Calculus -- Semantics and Proof Theory of the Epsilon Calculus -- Neighbourhood Contingency Bisimulation -- The Complexity of Finding Read-Once NAE-Resolution Refutations -- Knowing Values and Public Inspection -- Random Models for Evaluating Efficient Büchi Universality Checking -- A Substructural Epistemic Resource Logic -- Deriving Natural Deduction Rules from Truth Tables -- A Semantic Analysis of Stone and dual Stone Negations with Regularity -- Achieving while maintaining: A logic of knowing how with intermediate constraints -- Peirce's Sequent Proofs of Distributivity -- On Semantic Gamification -- Ancient Indian Logic and Analogy -- Definability of Recursive Predicates in the Induced Subgraph Order -- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic.
Keywords: Mathematical logic; Computer logic; Artificial intelligence; Algorithms; Computer simulation; Software engineering; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Artificial Intelligence; Algorithm Analysis and Problem Complexity; Simulation and Modeling; Software Engineering