On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics.
VenueBTABLEAUX
Year2011
ProceedingsTABLEAUX (Workshops, Tutorials, and Short Papers)
DBLP recordconf/tableaux/Tiu11a ↗
Browse the full TABLEAUX paper archive.