Efficient local reductions to basic modal logic
scientific article; zbMATH DE number 7437073
scientific article