234379

(2018) Synthese 195 (8).

Gamma graph calculi for modal logics

Minghui Ma, Ahti-Veikko J. Pietarinen

Cannot connect to DataBase