Modal logics of conjunctively closed provability predicates | Digital Library | PAMCET | PAMCET