Skip to main content
SpringerLink
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
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Table of contents (19 papers)

  1. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Logic and Its Applications

Keywords

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.

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

Search

Navigation