Constructive Realization in Justification Logics via Nested Sequents.
VenueBTABLEAUX
Year2011
ProceedingsTABLEAUX (Workshops, Tutorials, and Short Papers)
DBLP recordconf/tableaux/Goetschi11 ↗
Browse the full TABLEAUX paper archive.
Browse the full TABLEAUX paper archive.