Complexity of the variable-free fragment of the weak Grzegorczyk logic

Irina Agadzhanian, Mikhail Rybakov

The paper proves PSPACE-hardness of variable-free fragments of all logics between K and wGrz.