Taming Displayed Tense Logics Using Nested Sequents with Deep Inference.

Rajeev Gor, Linda Postniece, Alwen Tiu

Browse the full TABLEAUX paper archive.