Tabularity and Post-Completeness in Tense Logic

Qian Chen, Minghui Ma. Tabularity and Post-Completeness in Tense Logic. Rew. Symb. Logic, 17(2):475-492, 2024. [doi]

Abstract

Abstract is missing.