Annals of Pure and Applied Logic, Volume 155

Volume 155, Number 1, August 2008

• Paul Brodhead, Angsheng Li, Weilin Li:
  Continuity of capping in C_bT. 1-15
  
• Saharon Shelah, Alexander Usvyatsov:
  More on SOP₁ and SOP₂. 16-31
  
• Vladimir V. Rybakov:
  Linear temporal logic with until and next, logical consecutions. 32-45
  
• Ernst-Erich Doberkat:
  Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence. 46-68
  

Volume 155, Number 2, September 2008

• Andrea Sorbi, Sebastiaan Terwijn:
  Intermediate logics and factors of the Medvedev lattice. 69-85
  
• Katarzyna Slomczynska:
  Free equivalential algebras. 86-96
  
• Byunghan Kim, Alexei S. Kolesnikov, Akito Tsuboi:
  Generalized amalgamation and n-simplicity. 97-114
  
• Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini:
  Synthetic domain theory and models of linear Abadi & Plotkin logic. 115-133
  

Volume 155, Number 3, October 2008

• Steven Buechler:
  Vaught's conjecture for superstable theories of finite rank. 135-172
  
• Paolo Di Giamberardino, Claudia Faggian:
  Proof nets sequentialisation in multiplicative linear logic. 173-182
  
• Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra:
  Gödel algebras free over finite distributive lattices. 183-193
  
• Ran Raz, Iddo Tzameret:
  Resolution over linear equations and multilinear proofs. 194-224
  
• Jessica Millar, Gerald E. Sacks:
  Atomic models higher up. 225-241