Afhængighed er et almindeligt fænomen, uanset hvor man ser: økologiske systemer, astronomi, menneskelig historie, aktiemarkeder - men hvad er logikken i afhængighed? Denne bog er den første til at udføre en systematisk logisk undersøgelse af dette vigtige begreb, der undervejs giver en præcis matematisk behandling af Hintikkas uafhængighedsvenlige logik. Afhængighedslogik tilføjer begrebet afhængighed til første ordens logik. Her studeres afhængighedslogikkens syntaks og semantik, afhængighedslogik gives en alternativ spilteoretisk semantik, og resultater om dens kompleksitet er bevist. Dette er en kandidat lærebog egnet til et særligt kursus i logik i matematik, filosofi og datalogi afdelinger og indeholder over 200 øvelser, hvoraf mange har en fuld løsning i slutningen af bogen. Det er også tilgængeligt for læsere med en grundlæggende viden om logik interesseret i nye fænomener i logik. Sprog: Engelsk