ICLA 2009: Chennai, India

• Johan van Benthem:
  Decisions, Actions, and Games: A Logical Perspective. 1-22
  
• Rajeev Goré:
  Machine Checking Proof Theory: An Application of Logic to Logic. 23-35
  
• Joel David Hamkins:
  Some Second Order Set Theory. 36-50
  
• Johann A. Makowsky:
  Connection Matrices for MSOL-Definable Structural Invariants. 51-64
  
• Rohit Parikh:
  Knowledge, Games and Tales from the East. 65-76
  
• Esko Turunen:
  A Para Consistent Fuzzy Logic. 77-88
  
• Moshe Y. Vardi:
  From Philosophical to Industrial Logics. 89-115
  
• Dietmar Berwanger, Sophie Pinchinat:
  Game Quantification Patterns. 116-130
  
• Emmanuel J. Genot:
  Extensive Questions. 131-145
  
• Patrick Girard, Jeremy Seligman:
  An Analytic Logic of Aggregation. 146-161
  
• Jürgen Landes, Jeff B. Paris, Alena Vencovská:
  Instantial Relevance in Polyadic Inductive Logic. 162-169
  
• Yoshihiro Maruyama:
  Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic. 170-184
  
• Yurii Khomskii:
  A General Setting for the Pointwise Investigation of Determinacy. 185-195
  
• Yi N. Wang:
  A Two-Dimensional Hybrid Logic of Subset Spaces. 196-209
  
• Igor Stéphan, Benoit Da Mota:
  A Unified Framework for Certificate and Compilation for QBF. 210-223
  
• Benny George Kenkireth, Samrith Ram:
  Towards Decidability of Conjugacy of Pairs and Triples. 224-231
  
• G. S. Mahalakshmi, T. V. Geetha, Arun Kumar, Dinesh Kumar, S. Manikandan:
  Gautama - Ontology Editor Based on Nyaya Logic. 232-242
  
• G. S. Mahalakshmi, T. V. Geetha:
  Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming. 243-256
  
• Marie-Hélène Gorisse:
  The Art of Non-asserting: Dialogue with Nagarjuna. 257-268