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