Skip to main content
Springer Nature Link
Log in

Logic and Its Applications

Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. R. Ramanujam

    1. Institute of Mathematical Sciences, Chennai, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sundar Sarukkai

    1. National Institute of Advanced Studies, Indian Institute of Science Campus, Bangalore, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: ICLA 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 5th volume of the FoLLI LNAI subline. It contains the refereed proceedings of the Third Indian Conference on Logic and Its Applications, ICLA 2009, held in Chennai, India, in January 2009.

The 12 revised full papers presented together with 7 invited lectures were carefully reviewed and selected from numerous submissions. The papers present current research in all aspects of formal logic. They address in detail: algebraic logic and set theory, combinatorics and philosophical logic, modal logics with applications to computer science and game theory, and connections between ancient logic systems and modern systems.

Similar content being viewed by others

Keywords

Table of contents (19 papers)

  1. Front Matter

    Download chapter PDF

  2. Decisions, Actions, and Games: A Logical Perspective

    • Johan van Benthem
    Pages 1-22

  3. Machine Checking Proof Theory: An Application of Logic to Logic

    • Rajeev Goré
    Pages 23-35

  4. Some Second Order Set Theory

    • Joel David Hamkins
    Pages 36-50

  5. Connection Matrices for MSOL-Definable Structural Invariants

    • Johann Makowsky
    Pages 51-64

  6. Knowledge, Games and Tales from the East

    • Rohit Parikh
    Pages 65-76

  7. A Para Consistent Fuzzy Logic

    • Esko Turunen
    Pages 77-88

  8. From Philosophical to Industrial Logics

    • Moshe Y. Vardi
    Pages 89-115

  9. Game Quantification Patterns

    • Dietmar Berwanger, Sophie Pinchinat
    Pages 116-130

  10. Extensive Questions

    • Emmanuel J. Genot
    Pages 131-145

  11. An Analytic Logic of Aggregation

    • Patrick Girard, Jeremy Seligman
    Pages 146-161

  12. Instantial Relevance in Polyadic Inductive Logic

    • Jürgen Landes, Jeff Paris, Alena Vencovská
    Pages 162-169

  13. Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic

    • Yoshihiro Maruyama
    Pages 170-184

  14. A General Setting for the Pointwise Investigation of Determinacy

    • Yurii Khomskii
    Pages 185-195

  15. A Two-Dimensional Hybrid Logic of Subset Spaces

    • Yi N. Wang
    Pages 196-209

  16. A Unified Framework for Certificate and Compilation for QBF

    • Igor Stéphan, Benoit Da Mota
    Pages 210-223

  17. Towards Decidability of Conjugacy of Pairs and Triples

    • Benny George Kenkireth, Samrith Ram
    Pages 224-231

  18. Gautama – Ontology Editor Based on Nyaya Logic

    • G. S. Mahalakshmi, T. V. Geetha, Arun Kumar, Dinesh Kumar, S. Manikandan
    Pages 232-242

  19. Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming

    • G. S. Mahalakshmi, T. V. Geetha
    Pages 243-256

  20. The Art of Non-asserting: Dialogue with Nāgārjuna

    • Marie-Hélène Gorisse
    Pages 257-268
Back to top

Other volumes

  1. Logic and Its Applications

Editors and Affiliations

  • Institute of Mathematical Sciences, Chennai, India

    R. Ramanujam

  • National Institute of Advanced Studies, Indian Institute of Science Campus, Bangalore, India

    Sundar Sarukkai

Bibliographic Information

Publish with us

Policies and ethics

Back to top