| 2006 | A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces. Ulrich Kohlenbach |
| 2006 | Abstract Families of Abstract Categorial Languages. Makoto Kanazawa |
| 2006 | Additive Consolidation with Maximal Change. Yoshitaka Suzuki |
| 2006 | Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision. Alexandru Baltag, Sonja Smets |
| 2006 | Formalizing Type Operations Using the "Image" Type Constructor. Aleksey Nogin, Alexei Kopylov |
| 2006 | Monadic Second-Order Logic and Transitive Closure Logics over Trees. Hans-Jörg Tiede, Stephan Kepser |
| 2006 | On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic. Larisa Maksimova |
| 2006 | Preface. Grigori Mints, Ruy J. G. B. de Queiroz |
| 2006 | Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006 Grigori Mints, Ruy J. G. B. de Queiroz |
| 2006 | Proof Mining in R-trees and Hyperbolic Spaces. Laurentiu Leustean |
| 2006 | Propositional Games with Explicit Strategies. Bryan Renne |
| 2006 | Reasoning with Graphs. Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana |
| 2006 | Relating State-Based and Process-Based Concurrency through Linear Logic. Iliano Cervesato, Andre Scedrov |
| 2006 | Situations as Strings. Tim Fernando |
| 2006 | The Axiom System ISigma Dan E. Willard |
| 2006 | Towards Hilbert's 24 Dominic J. D. Hughes |