product iamge

Logic and Its Applications: 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Indian Conference on Logic and Its Applications, ICLA 2011, held in Delhi, India, in January 2011. The 14 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 34 submissions. The papers present current research in all aspects of formal logic ranging from pure and applied logic to history of logic.

Author(s): Peter Gärdenfors (auth.), Mohua Banerjee, Anil Seth (eds.)
Series: Lecture Notes in Computer Science 6521 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2011

Language: English
Pages: 219
Tags: Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Computing Methodologies; Mathematics of Computing

Front Matter....Pages -
Semantics Based on Conceptual Spaces....Pages 1-11
Four Corners—East and West....Pages 12-18
Infinite Games and Uniformization....Pages 19-21
On Fuzzy Sets and Rough Sets from the Perspective of Indiscernibility....Pages 22-37
The Logic of Campaigning....Pages 38-49
A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity....Pages 50-64
Contextual Coalitional Games....Pages 65-78
Sensible Semantics of Imperfect Information....Pages 79-89
A Qualitative Approach to Uncertainty....Pages 90-104
The Completion of the Emergence of Modern Logic from Boole’s The Mathematical Analysis of Logic to Frege’s Begriffsschrift....Pages 105-123
A Modal Logic for Multiple-Source Tolerance Approximation Spaces....Pages 124-136
A Note on Nathanial’s Invariance Principle in Polyadic Inductive Logic....Pages 137-146
First-Order Inquisitive Pair Logic....Pages 147-161
Ultrafilter Extensions of Models....Pages 162-177
Logic in the Community....Pages 178-188
Reasoning about Protocol Change and Knowledge....Pages 189-203
Becoming Aware of Propositional Variables....Pages 204-218
Back Matter....Pages -