The SFU Computational Logic Lab is a group of researchers interested in the study of logics which are useful for expressing or solving computational problems, and the computational properties of those ...