Complexity of the variable-free fragment of the weak Grzegorczyk logic
arXiv:2211.14571
Abstract
The paper proves PSPACE-hardness of variable-free fragments of all logics between K and wGrz.
in Russian language
arXiv:2211.14571
The paper proves PSPACE-hardness of variable-free fragments of all logics between K and wGrz.
in Russian language