"v; Dov M. GabbayElsevier Science 2003; US$ 225.00Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines." . . . . .