ICLA 2009:
Chennai,
India
Ramaswamy Ramanujam, Sundar Sarukkai (Eds.):
Logic and Its Applications, Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings.
Lecture Notes in Computer Science 5378 Springer 2009, ISBN 978-3-540-92700-6 
- 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
Last update Fri May 25 08:19:40 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
