This course is an undergraduate course in the Logic Master at Charles University, Faculty of Arts, Department of Logic.The course will be jointly taught by myself, Petr Cintula, Igor Sedlár, and Andrew Tedder of the the Logic Group at the Institute of Computer Science of the Czech Academy of Sciences.
The course consists of blocks of lectures on selected topics from the area of non-classical logics. The oral exam will be based on a topic chosen by a student and recommended reading (1-2 papers) on that topic, supervised by the teacher responsible for the topic.
The topics for this semester will come roughly from areas of:
Lectures:
Thursdays, 13:20, room C119 in Celetná 20
Classical logic: overview
Model theory of modal logics: frame semantics, modal definabilty, completeness
Model theory of modal logics: frame semantics - morphisms, generated subframes, disjoint unions
Duality theory: duality of algebras and frames, canonical extensions of algebras, ultrafilter extensions of frames, Goldblatt-Thomason Theorem.
Materials relevant to this course will be from now on available in a shared Dropbox folder, further information will be shared via email. Students are kindly asked to contact us, teachers, with any further questions. I personally am available for Skype meetings.