1. Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment)

   • Aldo Antonelli

   OriginalPaper 10 March 2017 Pages: 233 - 257

   

2. On A New Semantics for First-Order Predicate Logic

   • Hajnal Andréka
   • Johan van Benthem
   • István Németi

   OriginalPaper Open access 17 April 2017 Pages: 259 - 267

3. Interpersonal Sameness of Meaning for Inferential Role Semantics

   • Martin L. Jönsson

   OriginalPaper 14 May 2016 Pages: 269 - 297

   

4. Inter-Definability of Horn Contraction and Horn Revision

   • Zhiqiang Zhuang
   • Maurice Pagnucco
   • Yan Zhang

   OriginalPaper 07 May 2016 Pages: 299 - 332

   

5. Cut-Elimination for Quantified Conditional Logic

   • Christoph Benzmüller

   OriginalPaper 18 June 2016 Pages: 333 - 353