Cargando…

Many-dimensional modal logics: theory and applications

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 fo...

Descripción completa

Detalles Bibliográficos
Autores principales: Gabbay, D M, Kurucz, A, Wolter, F, Zakharyaschev, M
Lenguaje:eng
Publicado: North-Holland 2003
Materias:
Acceso en línea:http://cds.cern.ch/record/720614