with Gabbay, D. M. , Zakharyaschev, M. (eds) , 2006, Mathematical problems from applied logic I: logics for the XXIst century, Springer, Dordrecht.