Logic in Computer Science and Artificial Intelligence
The course will introduce some of the most successful areas of applications of logic to computer science and artificial intelligence.
Congratulations! You have been admitted at Stockholm University and we hope that you will enjoy your studies with us.
In order to ensure that your studies begin as smoothly as possible we have compiled a short checklist for the beginning of the semester.
Follow the instructions on wether you have to reply to your offer or not.
Checklist for admitted students
Activate your university account
The first step in being able to register and gain access to all the university's IT services.
Register at your department
Registration can be done in different ways. Read the instructions from your department below.
Read all the information on this page
Here you will find what you need to know before your course or programme starts.
Your seat may be withdrawn if you do not register according to the instructions provided by your department.
Information from the department - courses
Read more on the department website
Stockholm University organises a series of welcome activities that stretch over a few weeks at the beginning of each semester. The programme is voluntary (attendance is optional) and includes Arrival Service at the airport and an Orientation Day, see more details about these events below.
Your department may also organise activities for welcoming international students. More information will be provided by your specific department.
Find your way on campus
Stockholm University's main campus is in the Frescati area, north of the city centre. While most of our departments and offices are located here, there are also campus areas in other parts of the city.
For new international students
After a general revision of classical first-order logic as general language for knowledge representation, the course will present first-order resolution with unification as a practical method for automated reasoning. Then, the basics of logic programming and Prolog will be discussed briefly. The second part of the course is on logical methods for program verification based on Floyd-Hoare method for proving program correctness, further formalised in the propositional dynamic logic of programs PDL. The third part of the course will present the basic theory and applications of temporal logics for formal specification of properties of transition systems and computations in them, and for their formal verification by means of model checking. The last topic in this part will be on logics for multi-agent systems. The course will aim at providing sound theoretical background and conceptual understanding as well as practical knowledge and skills. It will involve exercises and hands-on experience with some popular implemented tools for automated reasoning, for logic programming and for model checking. The course is intended mainly for students in computer science and in philosophy, but is also relevant to students in mathematics.
There will be 3 mandatory written assignments during the course, each consisting of a set of exercises. Two of the assignments will include practical sections. The assignments will be to be posted on Mondo 2 weeks before the submission deadline. Students must do these exercises individually and prepare written reports with their solutions. Strict dates for submission of the assignment reports will apply. The assignments will be checked and corrected by the lecturer, returned to the students for feedback, and then returned back to the lecturer. These assignments will be taken into account in the final grade.
ScheduleThe schedule will be available no later than one month before the start of the course. We do not recommend print-outs as changes can occur. At the start of the course, your department will advise where you can find your schedule during the course.
Course literatureNote that the course literature can be changed up to two months before the start of the course.
Valentin Goranko: Logic as a Tool (Wiley & Sons 2016)
David Harel, Dexter Kozen & Jerzy Tiuryn: Dynamic Logic (MIT Press 2000)
Michael Huth & Mark Ryan: Logic in Computer Science (Cambridge University Press, 2nd ed. 2004)
Stephane Demri, Valentin Goranko & Martin Lange: Temporal Logics in Computer Science (Cambridge University Press 2016)
Additional literature selected by the teacher.
Student Councellor Sama Agahi