Volume 16, Number 1-2, 2006
: Some (in)translatability results for normal logic programs and propositional theories.
: Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous.
Volume 16, Numbers 3-4, 2006
: Linear-time temporal logics with Presburger constraints: an overview.
: The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic.
: Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras.
: Automatic checking properties of non-classical logics.