Logic for Computer Science. Lecture Notes

Аннотация

This set of lecture notes has been prepared as a material for a logic course given in the Swedish National Graduate School in Computer Science (CUGS). The course is focused on various aspects of classical and non-classical logics, including: • the classical propositional and predicate calculus • modal logics, including logics of programs and temporal logics • fixpoint calculus. The main emphasis is put on automated deduction and computer science applications of considered logics. Automated deduction techniques are presented mainly in the context of the classical logics.