Frank Wolter Superintuitionistic Companions of Classical Modal Logics. [Citation Graph (0, 0)][DBLP] Studia Logica, 1997, v:58, n:2, pp:229-259 [Journal]
Adam Kolany Consequence Operations Based on Hypergraph Satisfiability. [Citation Graph (0, 0)][DBLP] Studia Logica, 1997, v:58, n:2, pp:261-272 [Journal]