Tableau systems for some Ivlev-like (quantified) modal logics
scientific article; zbMATH DE number 7931588
scientific article