TY  - RPRT
TI  - Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics
AU  - Katsuhiko Sano
AU  - John G. Stell
PY  - 2017
DO  - 10.4204/eptcs.243.8
UR  - https://arxiv.org/abs/1703.02198
ID  - 1703.02198
ER  -