Bemærk: Kan ikke leveres før jul.
Forventes på lager: 05-11-2022
In order to provide a logical analysis of these components, the dissertation brings together two mainstream logics of actions, STIT (seeing to it that) logic and Propositional Dynamic Logic, and extends them with an analysis of causality, a Lewis-Stalnaker style analysis of counterfactuals, subject matter semantics, and deontic logic.
| Forlag | Springer International Publishing AG |
| Forfatter | Ilaria Canavotto |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2022 |
| Udgivelsesdato | 05-11-2022 |
| Første udgivelsesår | 2022 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 27 Illustrations, black and white |
| Originalsprog | Switzerland |
| Sideantal | 212 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 212 pages, 27 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783031171109 |