Dependence logic, spring 2014

Lecturer

Juha Kontinen

Scope

5 sp.

Type

Advanced studies

Description

Dependence logic adds the concept of dependence to first-order logic by the means of new atomic dependence formulas =(x_1,…,x_n,y),
 meaning that the values of the variables x_1,…,x_n completely determine the values of the variable y. Dependence logic bases its semantics in the concept of a set X of assignments satisfying a formula (rather than an individual assignment satisfying a formula, as in first-order logic). In the past few years, the team semantics of dependence logic has grown into a new framework in which various notions of dependence and independence can be formalized and studied. This course reviews the basic theory of dependence logic and some of its variants.

Prerequisites

Mathematical logic (Matemaattinen logiikka). The course finite model theory (Äärellisten mallien teoria) is not assumed.

Lectures

Weeks 11-18, Monday 12-14 and Thursday 12-14 in room B321.

Easter holiday 17.-23.4.

Contents of the lectures

Course diary

Exams

Bibliography

Jouko Väänänen. Dependence Logic. A New Approach to Independence Friendly Logic. Series: London Mathematical Society Student Texts (No. 70).

Pietro Galliani. The dynamics of imperfect information. Doctoral thesis, University of Amsterdam, 2012.

Juha Kontinen. Dependence Logic: A survey of some recent work. Philosophy Compass, 8(10): 950–963, 2013.

Registration

Did you forget to register?  What to do?

Exercises

Problem set 1

Solutions to PS1

Problem set 2

Solutions to PS2

Problem set 3

Solutions to PS3

Problem set 4

Solutions to PS4

Problem set 5

Solutions to PS5

Laskuharjoitukset

NOTE: There will be no exercise class on Tuesday 18.3.