Archive for the ‘Activities’ Category
26August2010
Chair of Computational Logic at Dresden University of Technology
Posted by Sunxin under: Activities; Job annoucements.
25November2009
Formal Philosophy Seminar at Leuven: Merging your beliefs by talking your way into agreement
Posted by Rasmus Rendsvig under: Activities; Belief revision, conditioning, imaging and other belief; Courses, seminars and special lectures; Dynamic Logic; Social Choice Theory.
20November2009
Dynamic Logic Seminar at ILLC: Towards a dynamic account for an expressive conception of norms
Posted by Rasmus Rendsvig under: Activities; Courses, seminars and special lectures; Deontic Logic; Dynamic Logic.
19November2009
Computational Logic Seminar at CUNY: Logical Analysis of Cryptographic Protocols
Posted by Rasmus Rendsvig under: Activities; Computer Science; Courses, seminars and special lectures; Dynamic Epistemic Logic.
18November2009
LSE Choice Group Seminar: Objective versus Subjective Moral Oughts
Posted by Rasmus Rendsvig under: Activities; Courses, seminars and special lectures; Deontic Logic; Epistemic Logic; Social Choice Theory.
17November2009
Logic and Interactive RAtionality seminar: Inquisitive semantics and logic
Posted by Rasmus Rendsvig under: Activities; Courses, seminars and special lectures; Natural Language Semantics.
Loading...