by
A. Kurucz, F. Wolter, M. Zakharyaschev
Language: English
Release Date: October 21, 2003
Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms...