A study of Kripke-type models for some modal logics by Gentzen's sequential method

From MaRDI portal
Publication:1257012