Detta är en avancerad lärobok från 2001 om modallogik, ett område som uppmärksammades av datavetare i slutet av 1970-talet. Forskare inom allt från ekonomi till datorlingvistik har sedan dess insett dess värde. Boken är för nybörjare och för mer erfarna läsare med två tydliga spår tydligt markerade i början av varje kapitel. Utvecklingen är matematisk; Förtrogenhet med första ordningens logik och dess semantik förutsätts och förtrogenhet med de grundläggande matematiska begreppen inom mängdlära krävs. Författarna fokuserar på användningen av modala språk som verktyg för att analysera egenskaperna hos relationella strukturer, inklusive deras algoritmiska och algebraiska aspekter, och tillämpningar på frågor inom logik och datavetenskap såsom fullständighet, beräkningsbarhet och komplexitet beaktas. Tre bilagor ger grundläggande bakgrundsinformation och ett stort antal övningar tillhandahålls. Perfekt för alla som vill lära sig modern modallogik. Språk: Engelska