Correction of the semantics for ${\rm S}4.03$ and a note on literal disjunctive symmetry.
Ralph H. Moon · Notre Dame Journal of Formal Logic · 1983
The term disjunctive symmetry, designating that property possessed by a Kripke-modelwas defined in Georgacarakos's [2] where it was argued that S4.03-that is, S4{\\), the system obtained by adding each substitution instance ofto S4-is characterized by the class of disjunctively symmetrical 54-models.At first sight, this characterization seems altogether fitting: II is a weakened version of