## Logic and Its Applications: Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, ProceedingsEdited 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. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Semantics Based on Conceptual Spaces | 1 |

Four CornersEast and West | 12 |

Infinite Games and Uniformization | 19 |

On Fuzzy Sets and Rough Sets from the Perspective of Indiscernibility | 22 |

The Logic of Campaigning | 38 |

Expressivity | 50 |

Contextual Coalitional Games | 65 |

Sensible Semantics of Imperfect Information On a Formal Feature of Meanings | 79 |

A Modal Logic for MultipleSource Tolerance Approximation Spaces | 124 |

A Note on Nathanials Invariance Principle in Polyadic Inductive Logic | 137 |

FirstOrder Inquisitive Pair Logic | 147 |

Ultrafilter Extensions of Models | 162 |

Logic in the Community | 178 |

Reasoning about Protocol Change and Knowledge | 189 |

Becoming Aware of Propositional Variables | 204 |

219 | |

A Qualitative Approach to Uncertainty | 90 |

The Completion of the Emergence of Modern Logic from Booles The Mathematical Analysis of Logic to Freges Begriffsschrift | 105 |

### Other editions - View all

Logic and Its Applications: Fourth Indian Conference, ICLA 2011, Delhi ... Mohua Banerjee,Anil Seth No preview available - 2011 |

### Common terms and phrases

action agent algebra announcement attitudes awareness axiomatic axioms Banerjee Begriffsschrift binary relation bisimilar bisimulation Boole calculus catuskoti coalgebraic coalitional games cognitive Computer concept conceptual spaces consider context cutfreeTlnqQL2 deﬁned Deﬁnition denote Dependence Logic diﬀerent domain dynamic Dynamic Logic emergence of modern epistemic epistemic logic equivalence relation example extension ﬁnite ﬁrst ﬁrst-order formula Frege function fuzzy sets given Heyting algebra homomorphism ICLA IF-Logic indiscernibility induction inquisitive model inquisitive pair interpretation knowledge Kripke models Kripke pre-model language Lemma LNAI mapping mathematics modal logic modal operator modern logic modus ponens morphisms negation notation notion predicate Proof properties propositional variables protocol Q-fuzzy approximation spaces Q-tolerance space regular expressions representation represented rough set satisﬁable semantics Shapley value Springer structure subset Theorem topological tree-sequent true tuple University valid voters