Bridge rules were introduced and intuitively discussed in [11]. A more technical presentation can be found in [13], where it is proved a syntactical equivalence between the most important classes of modal systems and a multi-context framework (0)

by Die Grundlagen der Arithmetik Koebner, Breslau