Trial Lecture in Logic: Reinhard Muskens, Reasoning, Meaning, and Model Search

Föreläsning

Den 14 september börjar vår serie av tre provföreläsningar för proffesuren i logik vid Institutionen för filosofi, lingvisik och vetenskapsteori. Föreläsningarna är öppna för allmänheten och tillgängliga för alla med grundläggande kunskaper i logik. Föreläsningarna hålls på engelska.

- Fredag 14/9 14:00-15:00: Ali Enayat (T307) When is Truth Definable?
- Tidag 18/9 14:00-15:00: Valentin Goranko (D404, Humanisten) Logics for multi-agent systems: an appetizer
- Onsdag 19/9 14:00-15:00: Reinhard Muskens (T219) Reasoning, Meaning, and Model Search