DEPLOG | IMPINF | DYN | LOGCON
Return to topDEPLOG
- Amsterdam, Gothenburg, Helsinki, Tampere
- Aims: To engage in a thorough investigation of the new dependence logic, to find its axiomatization, its fine structure, and its relation to modal dependence theories.
IMPINF
- Aachen, Amsterdam, Paris
- Aims: To develop a uniform logical and operational framework for handling imperfect information in logical games and other interactive systems.
DYN
- Oxford, Aachen, Amsterdam, Gothenburg
- Aims: To relate and merge the two major existing approaches to the logic of interaction: ‘local’ and ‘global’ dynamics.
LOGCON
- Gothenburg, Amsterdam, Helsinki, Tampere
- Aims: To apply existing methods from logic and mathematics for characterizing the standard logical constants for proof and truth to logical frameworks specifically designed to deal with interaction.
)