Dmitrij P. Skvortsov On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees. [Citation Graph (0, 0)][DBLP] Studia Logica, 2004, v:77, n:3, pp:295-323 [Journal]
Peter Roeper A Sequent Formulation of Conditional Logic Based on Belief Change Operations. [Citation Graph (0, 0)][DBLP] Studia Logica, 2004, v:77, n:3, pp:425-438 [Journal]