Set Theory Seminar - Menachem Magidor: Inner Models constructed using generalized logic