Mathematical Problems from Applied Logic I Logics for the XXIst Century - Gabbay, Dov M., 1945- (Springer Science+Business Media, Inc., 2006)