Logic and Its Applications: Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings - Lecture Notes in Computer Science

---

Marc Notes: Includes bibliographical references and index. Jacket Description/Back: Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes therefereed proceedings of the4th Indian Conference on Logic and Its Applications, ICLA 2011, held in Delhi, India, in January 2011. The14 revised full papers presented together with 3invited talks were carefully reviewed and selected from 34 submissions. The papers presentcurrent research in all aspects of formal logic ranging from pure and applied logic to history of logic. "Table of Contents: Semantics Based on Conceptual Spaces (Invited Talk) / Peter GArdenfors -- Four Corners-East and West (Invited Talk) / Graham Priest -- Infinite Games and Uniformization (Invited Talk) / Wolfgang Thomas -- On Fuzzy Sets and Rough Sets from the Perspective of Indiscernibility / Mihir K. Chakraborty -- The Logic of Campaigning / Walter Dean, Rohit Parikh -- A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity / Ernst-Erich Doberkat -- Contextual Coalitional Games / Patrick Doherty, Tomasz Michalak, Jacek Sroka, Andrzej Szatas -- Sensible Semantics of Imperfect Information: On a Formal Feature of Meanings / Pietro Galliani -- A Qualitative Approach to Uncertainty / Sujata Ghosh, Fernando R. VelAzquez-Quesada -- The Completion of the Emergence of Modern Logic from Boole's The Mathematical Analysis of Logic to Frege's Begriffsschrift / Priyedarshi Jetli -- A Modal Logic for Multiple-Source Tolerance Approximation Spaces / Md. Aquil Khan, Minghui Ma -- A Note on Nathanial's Invariance Principle in Polyadic Inductive Logic / Jeff B. Paris, Alena VencovskA -- First-Order Inquisitive Pair Logic / Katsuhiko Sano -- Ultrafilter Extensions of Models / Denis I. Saveliev -- Logic in the Community / Jeremy Seligman, Fenrong Liu, Patrick Girard -- Reasoning about Protocol Change and Knowledge / Yanjing Wang -- Becoming Aware of Prepositional Variables / Hans van Ditmarsch, Tim French -- Author Index.

Contributor Bio:  Seth, Anil Anil K. Seth is a Reader in the School of Informatics at the University of Sussex, an EPSRC Leadership Fellow and Co-Director of the Sackler Centre for Consciousness Science. His research crosses the fields of computational neuroscience, consciousness science and neurorobotics. In addition to contributing new insights into the mechanisms of action selection, he has developed new ways to link brain activity to conscious experience and he is an authority on the statistical analysis of causality.