Labelled Natural Deduction for Interval Logics.

Thomas Marthedal Rasmussen

Browse the full CSL paper archive.