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...
Autores principales: | , , , |
---|---|
Lenguaje: | eng |
Publicado: |
North-Holland
2003
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/720614 |