arXiv 2011-02-01 EN Translating Labels to Hypersequents for Intermediate Logics with Geometric Kripke Semantics Rothenberg, Robert
arXiv 2011-01-29 EN Lifting up the proof theory to the countables: Zermelo-Fraenkel set theory Arai, Toshiyasu
arXiv 2010-07-31 EN A curious dialogical logic and its composition problem Alama, Jesse · Uckelman, Sara
