Volume 165, November 2006

Proceedings of the 13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006), Logic, Language, Information and Computation 2006

• 
  Grigori Mints, Ruy J. G. B. de Queiroz: Preface. 1-3
• 
  Alexandru Baltag, Sonja Smets: Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision. 5-21
• 
  Tim Fernando: Situations as Strings. 23-36
• 
  Dominic J. D. Hughes: Towards Hilbert's 24^th Problem: Combinatorial Proof Invariants: (Preliminary version). 37-63
• 
  Makoto Kanazawa: Abstract Families of Abstract Categorial Languages. 65-80
• 
  Ulrich Kohlenbach: A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces. 81-93
• 
  Laurentiu Leustean: Proof Mining in R-trees and Hyperbolic Spaces. 95-106
• 
  Larisa Maksimova: On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic. 107-119
• 
  Aleksey Nogin, Alexei Kopylov: Formalizing Type Operations Using the "Image" Type Constructor. 121-132
• 
  Bryan Renne: Propositional Games with Explicit Strategies. 133-144
• 
  Iliano Cervesato, Andre Scedrov: Relating State-Based and Process-Based Concurrency through Linear Logic. 145-176
• 
  Yoshitaka Suzuki: Additive Consolidation with Maximal Change. 177-187
• 
  Hans-Jörg Tiede, Stephan Kepser: Monadic Second-Order Logic and Transitive Closure Logics over Trees. 189-199
• 
  Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrúcio Viana: Reasoning with Graphs. 201-212
• 
  Dan E. Willard: The Axiom System ISigma₀ Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem. 213-226