Logic and Its Applications

4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings

  • Mohua Banerjee
  • Anil Seth
Conference proceedings ICLA 2011

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6521)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 6521)

Table of contents

  1. Front Matter
    PDF
  2. Semantics Based on Conceptual Spaces
    Peter Gärdenfors
    Pages 1-11
  3. Four Corners—East and West
    Graham Priest
    Pages 12-18
  4. Infinite Games and Uniformization
    Wolfgang Thomas
    Pages 19-21
  5. On Fuzzy Sets and Rough Sets from the Perspective of Indiscernibility
    Mihir K. Chakraborty
    Pages 22-37
  6. The Logic of Campaigning
    Walter Dean, Rohit Parikh
    Pages 38-49
  7. A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity
    Ernst-Erich Doberkat
    Pages 50-64
  8. Contextual Coalitional Games
    Patrick Doherty, Tomasz Michalak, Jacek Sroka, Andrzej Szałas
    Pages 65-78
  9. Sensible Semantics of Imperfect Information
    Pietro Galliani
    Pages 79-89
  10. A Qualitative Approach to Uncertainty
    Sujata Ghosh, Fernando R. Velázquez-Quesada
    Pages 90-104
  11. The Completion of the Emergence of Modern Logic from Boole’s The Mathematical Analysis of Logic to Frege’s Begriffsschrift
    Priyedarshi Jetli
    Pages 105-123
  12. A Modal Logic for Multiple-Source Tolerance Approximation Spaces
    Md. Aquil Khan, Minghui Ma
    Pages 124-136
  13. A Note on Nathanial’s Invariance Principle in Polyadic Inductive Logic
    Jeff B. Paris, Alena Vencovská
    Pages 137-146
  14. First-Order Inquisitive Pair Logic
    Katsuhiko Sano
    Pages 147-161
  15. Ultrafilter Extensions of Models
    Denis I. Saveliev
    Pages 162-177
  16. Logic in the Community
    Jeremy Seligman, Fenrong Liu, Patrick Girard
    Pages 178-188
  17. Reasoning about Protocol Change and Knowledge
    Yanjing Wang
    Pages 189-203
  18. Becoming Aware of Propositional Variables
    Hans van Ditmarsch, Tim French
    Pages 204-218
  19. Back Matter
    PDF

About these proceedings

Introduction

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.

Keywords

Frege's Begriffsschrift algorithms buddhist logic category theory epistemic logic first degree entailment fuzzy logic fuzzy set theory inductive logic invariance principles many-valued logic modal logic probability logic propositional calculus recursion theory relational semantics rough set theory sequent calculus uncertain reasoning

Editors and affiliations

  • Mohua Banerjee
    • 1
  • Anil Seth
    • 2
  1. 1.Department of Mathematics and StatisticsIndian Institute of TechnologyKanpurIndia
  2. 2.Department of Computer Science and EngineeringIndian Institute of Technology KanpurKanpurIndia

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-18026-2
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-18025-5
  • Online ISBN 978-3-642-18026-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site