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!
|
| LEADER | 02305cam a22003018a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb005103 | ||
| 008 | 060818s2007####ne#######bf###001#0#eng## | ||
| 005 | 20160315151331.0 | ||
| 245 | 0 | 0 | |a Handbook of modal logic / |c edited by Patrick Blackburn, Johan van Benthem, Frank Wolter. |
| 250 | |a 1st ed. | ||
| 260 | |a Amsterdam : |b Elsevier, |c 2007. | ||
| 263 | |a 0611 | ||
| 300 | |a p. cm. | ||
| 490 | 0 | |a Studies in logic and practical reasoning ; |v v. 3 | |
| 504 | |a Incluye referencias bibliográficas e índice. | ||
| 505 | 0 | |a 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). | |
| 510 | 4 | |a Zbl, |c 1114.03001 | |
| 020 | |a 9780444516909 | ||
| 020 | |a 0444516905 | ||
| 700 | 1 | |a Blackburn, Patrick, |d 1959- |4 edt | |
| 700 | 1 | |a Benthem, J. F. A. K. van, |d 1949- |4 edt | |
| 700 | 1 | |a Wolter, Frank. |4 edt | |
| 650 | 0 | |a Modality (Logic) |v Handbooks, manuals, etc. | |
| 084 | |a 03-00 (03B45) |2 msc2000 | ||
| 010 | |a 2006050759 | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0665/2006050759-d.html |
| 859 | |h 03 |i H236m |p A-8532 |b BIB. MATEMATICA | ||