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