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. Springer 2009 Lecture Notes in Computer Science 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
- Emmanuel J. Genot: Extensive Questions. 131-145
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team