Most properties are undecidable even in $\mathrm{NExt}{\mathsf{Grz}}_t$

Qian Chen, Tenyo Takahashi

We investigate decidability of properties in the lattice $\mathrm{NExt}{\mathsf{Grz}}_t$ of extensions of the Grzegorczyk tense logic ${\mathsf{Grz}}_t$ and the lattice $\mat…