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: | 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 |
Ejemplares similares
-
Mathematical problems from applied logic: logics for the XXIst century
por: Gabbay, Dov, et al.
Publicado: (2006) -
Multi-dimensional modal logic
por: Marx, Maarten, et al.
Publicado: (1997) -
Proof theory of modal logic
por: Wansing, Heinrich
Publicado: (1996) -
Proof theory for fuzzy logics
por: Metcalfe, G, et al.
Publicado: (2009) -
Many-valued logics
por: Bolc, Leonard, et al.
Publicado: (1992)