Non-classical models of reasoning LS 2020

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:

• Marta Bílková: Advanced modal logics
• Petr Cintula: Many-valued logics
• Igor Sedlár: Frame semantics of substructural logics
• Andrew Tedder: Relevant logics

Lectures:

Thursdays, 13:20, room C119 in Celetná 20

• 20.2. (Marta Bílková)

Classical logic: overview

Model theory of modal logics: frame semantics, modal definabilty, completeness

• 27.2. (Marta Bílková)

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.

• 5.3. (Marta Bílková) cancelled due to illness

• From 11 March 2020, with the objective of protecting the public health regarding the spread of the coronavirus disease, all classes are cancelled and the presence of students and attendees at lectures, courses of all kinds, is forbidden.

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.