Questo è un libro di testo avanzato del 2001 sulla logica modale, un campo che ha attirato l'attenzione degli informatici alla fine degli anni '70. Da allora, i ricercatori in settori che vanno dall'economia alla linguistica computazionale si sono resi conto del suo valore. Il libro è per i principianti e per i lettori più esperti con due tracce distinte chiaramente segnalate all'inizio di ogni capitolo. Lo sviluppo è matematico; Si presuppone una conoscenza preliminare della logica del primo ordine e della sua semantica ed è richiesta familiarità con le nozioni matematiche di base della teoria degli insiemi. Gli autori si concentrano sull'uso dei linguaggi modali come strumenti per analizzare le proprietà delle strutture relazionali, inclusi i loro aspetti algoritmici e algebrici, e vengono prese in considerazione le applicazioni a questioni di logica e informatica come la completezza, la computabilità e la complessità. Tre appendici forniscono informazioni di base e vengono forniti numerosi esercizi. Ideale per chiunque voglia imparare la moderna logica modale. Lingua: Inglese