Handbook of modal logic /
Guardado en:
| Otros Autores: | , , |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Amsterdam :
Elsevier,
2007.
|
| Edición: | 1st ed. |
| Series: | Studies in logic and practical reasoning ;
v. 3 |
| Materias: | |
| Acceso en línea: | Publisher description |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- Preface (P. Blackburn, J. van Benthem and F. Wolter). Part 1. Basic theory: Modal logic: a semantic perspective (J. van Benthem and P. Blackburn); Modal proof theory (M. Fitting); Complexity of modal logic (M. Marx); Computational modal logic (I. Horrocks, U. Hustadt, U. Sattler and R. Schmidt). Part 2. Advanced theory: Model theory of modal logic (V. Goranko and M. Otto); Algebras and co-algebras (Y. Venema); Modal decision problems (F. Wolter and M. Zakharyaschev); Modal consequence relations (M. Kracht). Part 3. Variations and extensions: First-order modal logic (T. Braüner and S. Ghilardi); Higher-order modal logic (R. Muskens); Temporal logic (I. Hodkinson and M. Reynolds); Modal mu-calculus (J. Bradfield and C. Stirling); Description logic (F. Baader and C. Lutz); Hybrid logics (C. Areces and B. ten Cate); Combining modal logics (A. Kurucz). Part 4. Applications: Modal logic in mathematics (S. Artemov); Automata-theoretic techniques for temporal reasoning (M. Vardi); Intelligent agents and common-sense reasoning (J.-J. Meyer and F. Veltman); Applications of modal logic in linguistics (L. Moss and H.-J. Tiede); Modal logic for games and information (W. van der Hoek and M. Pauly); Modal logic and philosophy (S. Lindström and K. Segerberg).