Mathematical Problems from Applied Logic I Logics for the XXIst Century - Gabbay, Dov M.; Goncharov, Sergei S.; Zakharyaschev, Michael (Springer New York, 2006)