sentences:  On Schrödinger logics, see da Costa and Krause (1994, 1997), and French and Krause (2006).We now expound Krause's (1992) axiomatic theory formula_1, the first quasi-set theory; other formulations and improvements have since appeared.For an updated paper on the subject, see French and Krause (2010).