Some Remarks on Nested Sequent Systems for Modal Logics.
VenueBTABLEAUX
Year2011
ProceedingsTABLEAUX (Workshops, Tutorials, and Short Papers)
DBLP recordconf/tableaux/Strassburger11 ↗
Browse the full TABLEAUX paper archive.
Browse the full TABLEAUX paper archive.