Linear Modal Deductions.

Luis Farias del Cerro, Andreas Herzig

Browse the full CADE paper archive.