default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICLA 2009: Chennai, India
- Ramaswamy Ramanujam, Sundar Sarukkai:
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 Nicholas 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-26 00:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
