1. Action Type Deontic Logic

   • Martin Mose Bentzen

   OriginalPaper 06 August 2014 Pages: 397 - 414

2. Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks

   • Torben Braüner

   OriginalPaper 27 September 2014 Pages: 415 - 439

   

3. Natural Language Inference in Coq

   • Stergios Chatzikyriakidis
   • Zhaohui Luo

   OriginalPaper 04 October 2014 Pages: 441 - 480

   

4. Resolving the Infinitude Controversy

   • András Kornai

   OriginalPaper 15 July 2014 Pages: 481 - 492

5. Blocking the Routes to Triviality with Depth Relevance

   • Gemma Robles
   • José M. Méndez

   OriginalPaper 15 May 2014 Pages: 493 - 526

   

6. Logical Geometries and Information in the Square of Oppositions

   • Hans Smessaert
   • Lorenz Demey

   OriginalPaper 13 September 2014 Pages: 527 - 565