Logic and Its Applications

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

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.

• 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
• algorithm analysis and problem complexity

• Department of Mathematics and Statistics, Indian Institute of Technology, Kanpur, India

  Mohua Banerjee

• Department of Computer Science and Engineering, Indian Institute of Technology Kanpur, Kanpur, India

  Anil Seth

Policies and ethics