1. Categoricity Spectra for Polymodal Algebras

   • Nikolay Bazhenov

   OriginalPaper 17 March 2016 Pages: 1083 - 1097

2. Modality and Contextuality in Topos Quantum Theory

   • Benjamin Eva

   OriginalPaper Open access 11 May 2016 Pages: 1099 - 1118

3. A Game Semantics for System P

   • J. Marti
   • R. Pinosio

   OriginalPaper Open access 12 May 2016 Pages: 1119 - 1144

4. A New View of Effects in a Hilbert Space

   • Roberto Giuntini
   • Antonio Ledda
   • Francesco Paoli

   OriginalPaper 14 May 2016 Pages: 1145 - 1177

5. Constructing Natural Extensions of Propositional Logics

   • Adam Přenosil

   OriginalPaper 14 May 2016 Pages: 1179 - 1190

6. Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility

   • Jeroen P. Goudsmit

   OriginalPaper Open access 12 May 2016 Pages: 1191 - 1204

7. Compositional Z: Confluence Proofs for Permutative Conversion

   • Koji Nakazawa
   • Ken-etsu Fujita

   OriginalPaper 21 May 2016 Pages: 1205 - 1224

8. Turing–Taylor Expansions for Arithmetic Theories

   • Joost J. Joosten

   OriginalPaper 21 May 2016 Pages: 1225 - 1243

9. Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic

   • Diego Castaño
   • Juan Manuel Cornejo

   OriginalPaper 07 June 2016 Pages: 1245 - 1265

10. Understanding Negation Implicationally in the Relevant Logic R

    • Takuro Onishi

    OriginalPaper 09 June 2016 Pages: 1267 - 1285

11. Cofinal Stable Logics

    • Guram Bezhanishvili
    • Nick Bezhanishvili
    • Julia Ilin

    OriginalPaper Open access 22 June 2016 Pages: 1287 - 1317

12. Book Review: Jean Buridan, Treatise on Consequences

    • Sara L. Uckelman

    BookReview 19 October 2016 Pages: 1319 - 1323