Gliela faremo vedere noi! Saggi in onore di Dov Gabbay. Volume 1

Titolo originale:

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

Contenuto del libro:

Questo libro offre una panoramica preziosa della portata della logica.

Fornisce un riferimento ad alcuni dei risultati più importanti e consolidati della logica, offrendo allo stesso tempo una visione dei più recenti problemi di ricerca nel settore. L'opera presenta un equilibrio tra teoria e pratica e contiene saggi nelle aree della logica modale, della logica intuizionistica, della logica e del linguaggio, della logica non monotonica e della programmazione logica, della logica temporale, della logica e dell'apprendimento, della combinazione di logiche, del ragionamento pratico, della logica e dell'intelligenza artificiale, dell'abduzione, della dimostrazione di teoremi e del ragionamento orientato agli obiettivi.

Sarà una lettura preziosa per i ricercatori e gli studenti laureati in Logica e Informatica, e una favolosa fonte di ispirazione per gli studenti di ricerca alla ricerca di un argomento per un dottorato in Logica e Informatica teorica.