My jim ukážeme! Essays in Honour of Dov Gabbay. Volume 1

Původní název:

We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1

Obsah knihy:

Tato kniha poskytuje neocenitelný přehled o dosahu logiky.

Odkazuje na některé z nejdůležitějších, dobře zavedených výsledků v logice a zároveň nabízí vhled do nejnovějších výzkumných otázek v této oblasti. Rovněž se vyznačuje vyvážeností teorie a praxe a obsahuje eseje z oblastí modální logiky, intuicionistické logiky, logiky a jazyka, nemonotónní logiky a logického programování, temporální logiky, logiky a učení, kombinace logik, praktického uvažování, logiky a umělé inteligence, abdukce, dokazování tvrzení a účelového uvažování.

Kniha bude neocenitelnou četbou pro vědecké pracovníky a postgraduální studenty logiky a informatiky a báječným zdrojem inspirace pro studenty, kteří hledají téma pro doktorské studium logiky a teoretické informatiky.