Sommaire

Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
Proof Compression and NP Versus PSPACE II: Addendum
A Variant of Material Connexive Logic