Partial up an down logic
logics for reasoning about extension and reduction of partial information states
scientific article; zbMATH DE number 824596