Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings - Tapa blanda

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.