Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD

From MaRDI portal
Publication:2148809