Modal Logic in Two Gestalts
Johan van Benthem

We develop a translation-based view dual of modal logic as the study of 
intensional languages that are at the same time interesting, expressive and 
decidable parts of standard logical systems. This tandem approach improves 
our understanding of modal logic - while at the same time, it extends the 
range of modal notions and techniques into broader areas of standard logic.