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…