1. Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models

   • Mauro Ferrari
   • Camillo Fiorentini
   • Guido Fiorino

   OriginalPaper 10 June 2012 Pages: 129 - 149

2. Formalization of Bernstein Polynomials and Applications to Global Optimization

   • César Muñoz
   • Anthony Narkawicz

   OriginalPaper 18 July 2012 Pages: 151 - 196

3. A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities

   • Serenella Cerrito
   • Marta Cialdea Mayer

   OriginalPaper 06 October 2012 Pages: 197 - 239