Vladimir V. Rybakov Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. [Citation Graph (0, 0)][DBLP] Studia Logica, 1994, v:53, n:2, pp:203-226 [Journal]
Frank Wolter What is the upper part of the lattice of bimodal logics? [Citation Graph (0, 0)][DBLP] Studia Logica, 1994, v:53, n:2, pp:235-242 [Journal]
Ming Xu Decidability of Stit theory with a single agent and Refref Equivalence. [Citation Graph (0, 0)][DBLP] Studia Logica, 1994, v:53, n:2, pp:259-298 [Journal]
George Weaver Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems. [Citation Graph (0, 0)][DBLP] Studia Logica, 1994, v:53, n:2, pp:325-342 [Journal]