A Graphical Proof Theory of Logical Time.

Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straburger

Browse the full FSCD paper archive.