# Dependence logic, spring 2014

# Dependence logic, spring 2014

### Lecturer

### 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

### 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

### Laskuharjoitukset

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

Ryhmä | Päivä | Aika | Paikka | Pitäjä |
---|---|---|---|---|

1. | Tuesday | 12:00 | B321 | Miika Hannula |