Complexity of the variable-free fragment of the weak Grzegorczyk logic
The paper proves PSPACE-hardness of variable-free fragments of all logics between K and wGrz.
math.LO↗
arXiv subjects
Irina Agadzhanian
Publications and source records attributed to Irina Agadzhanian.