Subintuitionistic logics and their modal companions: a nested approach
scientific article; zbMATH DE number 7955906
scientific article