Dependence logic, spring 2014


Juha Kontinen


5 sp.


Advanced studies


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.


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


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

Easter holiday 17.-23.4.

Contents of the lectures

Course diary



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.


Did you forget to register?  What to do?


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


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

1.Tuesday12:00 B321Miika Hannula
  • No labels