1. A Sequent Calculus for a Negative Free Logic

   • Norbert Gratzl

   OriginalPaper 19 November 2010 Pages: 331 - 348

2. On the Proof-Theory of two Formalisations of Modal First-Order Logic

   • Yehuda Schwartz
   • George Tourlakis

   OriginalPaper 14 November 2010 Pages: 349 - 373

3. Theories of Truth without Standard Models and Yablo’s Sequences

   • Eduardo Alejandro Barrio

   OriginalPaper 14 November 2010 Pages: 375 - 391

4. Completeness of a Branching-Time Logic with Possible Choices

   • Roberto Ciuni
   • Alberto Zanardo

   OriginalPaper 14 November 2010 Pages: 393 - 420

5. Congruences on a Balanced Pseudocomplemented Ockham Algebra whose Quotient Algebras are Boolean

   • Jie Fang
   • Lei-Bo Wang

   OriginalPaper 14 November 2010 Pages: 421 - 431

6. Book Reviews

   • P. D. Welch

   BookReview 13 November 2010 Pages: 433 - 440