1 Derivation Schemes for Topological Logics. 2 Derived Logics What Are They? Why Do We Need Them? How Can We Use Them? Colleague: Michael Westmoreland.