Biblioteca Dr. Antonio Monteiro · Catálogo | |
LDR | ·····cam##22·····8a#4500 |
001 | 005103 |
005 | 20160315151331.0 |
008 | 060818s2007####ne#######bf###001#0#eng## |
245 | 00 | $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 | 42 | $3 Publisher description $u http://www.loc.gov/catdir/enhancements/fy0665/2006050759-d.html |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com