Hybrid Logics (2006)

by C Areces, B ten Cate
Venue:Handbook of Modal Logic