Wojciech Zielonka On Reduction Systems Equivalent to The Lambek Calculus with the Empty String. [Citation Graph (0, 0)][DBLP] Studia Logica, 2002, v:71, n:1, pp:31-46 [Journal]
Bob Coecke Disjunctive Quantum Logic in Dynamic Perspective. [Citation Graph (0, 0)][DBLP] Studia Logica, 2002, v:71, n:1, pp:47-56 [Journal]
Horacio L. Arló-Costa First Order Extensions of Classical Systems of Modal Logic; The role of the Barcan schemas. [Citation Graph (0, 0)][DBLP] Studia Logica, 2002, v:71, n:1, pp:87-118 [Journal]