A multi-labelled sequent calculus for Topo-Logic
Published in Journal of Logic and Computation, 2020
Recommended citation: Shillito, Ian. (2020). "A multi-labelled sequent calculus for Topo-Logic." Journal of Logic and Computation. 30 (2).
Download Paper