Showing 2026Show all
2 papers · 1 filter
math.LO2026
Most properties are undecidable even in
Qian Chen, Tenyo Takahashi
We investigate decidability of properties in the lattice of extensions of the Grzegorczyk tense logic and the lattice $\mat…
cs.LO2026
Most Properties are Undecidable for Transitive Tense Logics
Qian Chen, Tenyo Takahashi
A logics' property is decidable in a class of logics if there exists an algorithm that decides whether a finitely axiomatizable logic in the class has the property. Many properties…