A study of Kripke-type models for some modal logics by Gentzen's sequential method
scientific article; zbMATH DE number 3628927
scientific article