Annals of Pure and Applied Logic, Volume 152

Volume 152, Numbers 1-3, March 2008

• Ruy J. G. B. de Queiroz, Angus Macintyre:
  Logic, Language, Information and Computation. 1-2
  
• Marcelo Arenas, Pablo Barceló, Leonid Libkin:
  Game-based notions of locality over finite models. 3-30
  
• Anuj Dawar, David Richerby, Benjamin Rossman:
  Choiceless polynomial time, counting and the Cai-Fürer-Immerman graphs. 31-50
  
• Santiago Figueira, André Nies, Frank Stephan:
  Lowness properties and approximations of the jump. 51-66
  
• Melvin Fitting:
  A quantified logic of evidence. 67-83
  
• Sven Hartmann, Sebastian Link:
  Characterising nested database dependencies by fragments of propositional logic. 84-106
  
• Ozan Kahramanogullari:
  System BV is NP-complete. 107-121
  
• Richard Lassaigne, Sylvain Peyronnet:
  Probabilistic verification and approximation. 122-131
  
• Ana Teresa C. Martins, Lília Ramalho Martins:
  Full classical S5 in natural deduction with weak normalization. 132-147
  
• Grigori Mints:
  Cut elimination for a simple formulation of epsilon calculus. 148-160
  
• Guilherme de Souza Rabello, Marcelo Finger:
  Approximations of modal logics: K and beyond. 161-173
  
• Joel H. Spencer, Katherine St. John:
  The complexity of random ordered structures. 174-179