Dynamic Epistemic Logic

La logica epistemica dinamica è la logica del cambiamento della conoscenza. Non si tratta di un singolo sistema logico, ma di un'intera famiglia di logiche che ci consente di specificare aspetti statici e dinamici dei sistemi multi-agente. Questo libro fornisce varie logiche per supportare tali specifiche formali, inclusi sistemi di dimostrazione. Esempi concreti e puzzle epistemici animano l'esposizione. Il libro contiene anche esercizi con le risposte ed è particolarmente adatto per corsi di laurea in logica. Un ampio schema dei contenuti di questo libro è il seguente. Il capitolo 'Introduzione' informa il lettore sulla storia dell'argomento e sulla sua relazione con altre discipline. 'Logica Epistemica' è una panoramica della logica epistemica multi-agente - la logica della conoscenza - inclusi operatori modali per gruppi, come la conoscenza generale e comune. 'Revisione della Credenza' è una panoramica su come modellare la revisione delle credenze.