|
|
|
|
| LEADER |
01419nam a22002657a 4500 |
| 001 |
695042 |
| 008 |
150505t20152015xxe ||| |||| 00| 0 eng d |
| 009 |
PPN18535131X |
| 020 |
|
|
|a 9781848901582
|
| 020 |
|
|
|a 1848901585
|
| 024 |
|
|
|a 9781848901582
|
| 041 |
0 |
|
|a eng
|
| 100 |
1 |
|
|a Ditmarsch, Hans van,
|d 1959-....,
|c mathématicien.
|
| 245 |
1 |
0 |
|a Handbook of epistemic logic
|c edited by Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi.
|
| 260 |
|
|
|a London :
|b College Publications.
|
| 260 |
|
|
|c C 2015.
|
| 300 |
|
|
|a 1 vol. (XVIII-655 p.) ;
|c 24 cm.
|
| 504 |
|
|
|a Bibliogr.et notes bibliogr. en fin de contribution
|
| 505 |
0 |
|
|a An introduction to logics of knowledge and belief -- [pt.] I. Informational attitudes -- Only knowing -- Awareness -- Epistemic probabilistic logic -- [pt.] II. Dynamics of informational attitudes -- Knowledge and time -- Dynamic epistemic logic -- Dynamic logics of belief change -- [pt.] III. Applications -- Model checking temporal epistemic logic -- Epistemic foundations of game theory -- BDI logics -- Knowledge and ability -- Knowledge and security
|
| 650 |
|
|
|a Logique épistémique
|
| 650 |
|
|
|a Guides pratiques
|
| 700 |
1 |
|
|a Halpern, Joseph Y.,
|d 1953-
|4 edt
|
| 700 |
1 |
|
|a Hoek, Wiebe van der.
|4 edt
|
| 700 |
1 |
|
|a Kooi, Barteld Pieter,
|d 1976-
|4 edt
|
| 997 |
|
|
|0 695042
|1 Livre papier
|a Ressource papier
|b INSA
|c 0/Bourges/
|c 1/Bourges/INSA CVL/
|z Bourges, INSA CVL, 511.3 HAN
|
