We prove that all finitely axiomatizable tense logics with temporal operators for 'always in the future' and 'always in the past' and determined by linear flows time are coNP-complete. It follows, for ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback