Mathematical Problems From Applied Logic I: Logics for the XXIst ...
Dov M. Gabbay & Sergei S. Goncharov & Michael Zakharyaschev