All finitely axiomatizable subframe logics containing the provability logic CSM\(_{0}\) are decidable Frank Wolter Pages: 167 - 182
A characterization of the \(\Sigma_1\)-definable functions of \(KP\omega + (uniform\; AC)\) Wolfgang BurrVolker Hartung Pages: 199 - 214