Labeled sequent calculi for modal logics and implicit contractions

From MaRDI portal
Publication:377468