Title: Modal logic, fundamentally

Speaker: Wesley Holliday (University of California, Berkeley)

Time: 2024/03/29 13:30-15:30

Location: Room 109, Lee Shau Kee Humanities Buildings No.3（李兆基人文学苑3号楼）, Peking University

Abstract:
　　In recent work, we have studied a non-classical logic based only on introduction and elimination rules for the connectives, which we call fundamental logic (https://doi.org/10.3390/logics1010004). In this talk, we will discuss the addition of necessity and possibility modals to fundamental logic. An associated paper is available at https://arxiv.org/abs/2403.14043.