Electronic Notes in Theoretical Computer Science, Volume 165

Volume 165, November 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