Tense Logic via Truth Degrees: An Algebraic Completeness Result for Kashima's Calculus

Martín Figallo, Jonathan Sarmiento, Luis Pezzini

We study the minimal tense logic $K_t$ from an algebraic and proof-theoretic perspective. We introduce the degree-of-truth-preserving logic associated with the class of tense Boole…