1. An Internal Version of Epistemic Logic

   • Guillaume Aucher

   OriginalPaper 13 February 2010 Pages: 1 - 22

2. Using Hybrid Logic for Coping with Functions in Subset Spaces

   • Bernhard Heinemann

   OriginalPaper 20 January 2010 Pages: 23 - 45

3. A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic

   • Brian Hill
   • Francesca Poggiolesi

   OriginalPaper 20 January 2010 Pages: 47 - 72

4. An Independence Relation for Sets of Secrets

   • Sara Miner More
   • Pavel Naumov

   OriginalPaper 28 January 2010 Pages: 73 - 85

5. Extensionality and Restriction in Naive Set Theory

   • Zach Weber

   OriginalPaper 20 January 2010 Pages: 87 - 104

6. Associative Substitutional Semantics and Quantified Modal Logic

   • Bartosz Więckowski

   OriginalPaper 27 January 2010 Pages: 105 - 138

7. Book Reviews

   • David Ripley

   BookReview 28 January 2010 Pages: 139 - 145