The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Skip to content

LAA

Seminar

Team logic

Vaananen, J (Helsinki)
Friday 21 April 2006, 11:00-12:00

Seminar Room 1, Newton Institute

Abstract

I discuss logic based on dependence as a basic concept. What is the logic of dependence? What is the mathematics of dependence? Typical examples of dependence in the sense that I am interested in are the dependence of a field on other fields in a database, the dependence of a move in a strategy on other moves, and the dependence of a quantifier on other quantifiers in formulas of formal or natural languages. I describe a new logic, called team logic, for the study of types of dependence and give it semantics in terms of team structures. I discuss connections to other logics such as linear logic, modal logic, first order logic, independence friendly logic, Henkin quantifier logic, and second order logic.

Audio

MP3MP3 Real AudioReal Audio

Back to top ∧