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