Volume 67, 2002

WoLLIC'2002 9th Workhop on Logic, Language, Information and Computation
Rio de Janeiro, Brazil, 30 July to 2 August 2002

• 
  Ricardo Bianconi: Definability in o-minimal expansions of the real numbers. 1-6
• 
  Felipe Cucker: On sparseness and Turing reducibility over the reals. 7-14
• 
  Erich Grädel: Model Checking Games. 15-34
• 
  Gopalan Nadathur: The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations. 35-48
• 
  Rohit Parikh: States of Knowledge. 49-60
• 
  Igor Walukiewicz: Deciding low levels of tree-automata hierarchy. 61-75
• 
  Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine: Comparing Calculi of Explicit Substitutions with Eta-reduction. 76-95
• 
  Benjamín René Callejas Bedregal, Ivanosca Andrade da Silva: Continuous Domains and their Information System Representation as Logical Systems. 96-115
• 
  Jean-Yves Béziau: Non Truth-Functional Many-Valuedness. 116-130
• 
  Sabine Broda, Luís Damas: Studying provability in implicational intuitionistic logic the formula tree approach. 131-147
• 
  Arthur Buchsbaum: A Logic for Ambiguous Description. 148-165
• 
  Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti: Rank-Based Symbolic Bisimulation (and Model Checking). 166-183
• 
  Carlos H. C. Duarte, T. S. E. Maibaum: A Branching Time Logical System for Open Distributed Systems Development. 184-203
• 
  Renata P. de Freitas, Jorge Petrúcio Viana: A Completeness Result for Relation Algebra with Binders. 204-217
• 
  Nikos Gorogiannis, Mark Ryan: Requirements, specifications, and minimal refinement. 218-232
• 
  Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón: On automating the extraction of programs from proofs using product types. 233-253
• 
  Henry E. Kyburg Jr., Choh-Man Teng: The Logic of Risky Knowledge. 254-262
• 
  Norihiro Ogata: Dynamic Semantics of Plurals DPLQ*. 263-283
• 
  Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola: A logical approach to A-Prolog. 284-295
• 
  Klaus-Dieter Schewe, Jose Maria Turull Torres: Computable Queries for Object Oriented Databases. 296-312
• 
  Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler: Preface: WoLLIC 2002. 313-314