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

11 citations

2 papers