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
Clasificación:Libro Electrónico
Otros Autores: Gabbay, Dov M., 1945-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; Boston : Elsevier North Holland, 2003.
Edición:1st ed.
Colección:Studies in logic and the foundations of mathematics ; v. 148.
Temas:
Modality (Logic)
Modalit�e (Logique)
PHILOSOPHY > Logic.
Modallogik
Modale logica.
Universele algebra.
Algebra�ische logica.
Acceso en línea:Texto completo
Texto completo
Texto completo
Tabla de Contenidos:
  • Part I: Introduction
  • Chapter 1. Modal logic basics
  • Chapter 2. Applied modal logic
  • Chapter 3. Many-dimensional modal logic
  • Part II: Fusions and products
  • Chapter 4. Fusions of modal logics
  • Chapter 5. Products of modal logics: introduction
  • Chapter 6. Decidable products
  • Chapter 7. Undecidable products
  • Chapter 8. Higher-dimensional products
  • Chapter 9. Variations on products
  • Chapter 10. Intuitionistic modal logics
  • Part III: First-order modal logic
  • Chapter 11. Fragments of first-order temporal logics
  • Chapter 12. Fragments of first-orfer dynamic and epistemic logics
  • Part IV: Applications to knowledge representation and reasoning
  • Chapter 13. Temporal epistemic logics
  • Chapter 14. Modal description logics
  • Chapter 15. Tableau decision algorithms for modal description logics
  • Chapter 16. Spatio-temoral logics.

Ejemplares similares