Dependence logic, fall 2012
Last modified by jvaanane@helsinki_fi on 2024/03/27 10:35
Laboratory of dependence logic, fall 2012
Lecturer
Contents
We investigate recent developments in dependence logic.
Scope
5 cu.
Type
Advanced studies
Prerequisites
The textbook Dependence Logic is by and large assumed.
Lectures
Weeks 36-42, Monday 10-14 in room C130.
Exams
Bibliography
Dependence Logic, A good source of recent work is the doctoral thesis of P. Galliani and the Wikipedia page dependence logic.
Registration
Did you forget to register? What to do.