Child pages
  • Dependence logic, fall 2012
Skip to end of metadata
Go to start of metadata

Laboratory of dependence logic, fall 2012

Lecturer

Juha Kontinen
Jouko Väänänen

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.

  • No labels