Dynamic epistemic logic / Hans van Ditmarsch, Wieve van der Hoek, Barteld Kooi |
Autore | Ditmarsch, Hans : van |
Pubbl/distr/stampa | Dordrecht : Springer, c2007 |
Descrizione fisica | xi, 282 p. : ill. ; 24 cm |
Disciplina | 121 |
Altri autori (Persone) | Hoek, Wiebe : van der |
Collana | Synthese library |
Soggetto non controllato |
Logica
Ricorsività |
ISBN |
978-1-4020-5838-7
9781402069086 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990008586990403321 |
Ditmarsch, Hans : van
![]() |
||
Dordrecht : Springer, c2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Handbook of epistemic logic / Hans van Ditmarsch ... [et al.] |
Autore | Ditmarsch, Hans : van |
Pubbl/distr/stampa | London : College publications, @2015 |
Descrizione fisica | xvii, 655 p. ; 24 cm |
Disciplina | 511.3 |
Soggetto non controllato |
Logica
Ricorsività |
ISBN | 978-1-84890-158-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990010046920403321 |
Ditmarsch, Hans : van
![]() |
||
London : College publications, @2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
One hundred prisoners and a light bulb / Hans van Ditmarsch, Barteld Kooi |
Autore | Ditmarsch, Hans : van |
Pubbl/distr/stampa | [Cham], : Springer, : Copernicus, 2015 |
Descrizione fisica | IX, 188 p. : ill. ; 24 cm |
Altri autori (Persone) | Kooi, Barteld |
Soggetto topico | 00A08 - Recreational mathematics [MSC 2020] |
Soggetto non controllato |
Dynamic epistemic logic
Epistemic logic Logic puzzles Modal Logic Muddy children puzzle |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0113448 |
Ditmarsch, Hans : van
![]() |
||
[Cham], : Springer, : Copernicus, 2015 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
One hundred prisoners and a light bulb / Hans van Ditmarsch, Barteld Kooi |
Autore | Ditmarsch, Hans : van |
Edizione | [[Cham] : Springer : Copernicus, 2015] |
Pubbl/distr/stampa | IX, 188 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Altri autori (Persone) | Kooi, Barteld |
Soggetto topico | 00A08 - Recreational mathematics [MSC 2020] |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0113448 |
Ditmarsch, Hans : van
![]() |
||
IX, 188 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|