Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics

Katsuhiko Sano, John G. Stell

Bi-Intuitionistic Stable Tense Logics (BIST Logics) are tense logics with a Kripke semantics where worlds in a frame are equipped with a pre-order as well as with an accessibility…