world label
World brand
All propositional expansion rules are adapted to this variant by stating that they all refer to formulae with the same world label.
All propositional expansion rules are adapted to this variant by stating that they all refer to formulae with the same World brand.