Ausgabe 2/2013
Inhalt (3 Artikel)
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
Formalization of Bernstein Polynomials and Applications to Global Optimization
César Muñoz, Anthony Narkawicz
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities
Serenella Cerrito, Marta Cialdea Mayer