Modal Logic

Detalles Bibliográficos
Autor Principal: Blackburn, Patrick
Otros autores o Colaboradores: de Rijke, Maarten, Venema, Yde
Formato: Libro
Lengua:inglés
Datos de publicación: Nueva York : Cambridge University Press, 2010
Edición:4th ed.
Temas:
Acceso en línea:Consultar en el Cátalogo
Descripción Física:xxii, 554 p. : il. ; 23 cm.
ISBN:9780521527149
Tabla de Contenidos:
  • Basic concepts
  • Models
  • Frames
  • Completeness
  • Algebra and general frames
  • Computability and complexity
  • Extended modal logic.