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