Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory


This paper is a contribution to the study of two distinct kinds of logics for modelling uncertainty. Both approaches use logics with a two-layered modal syntax, but while one employs classical logic on both levels and infinitely-many multimodal operators, the other involves a suitable system of fuzzy logic in the upper layer and only one […]

Online Seminar Series


After the first talk by Pere Pardo, our online seminar series continues! All the talks will take place via Microsoft Teams, starting at 17:00. Here is the schedule for the semester: 22/04 – Ofer Arieli   (Academic College of Tel Aviv) 07/05 – Jonathan Lawry (University of Bristol) 14/05 – Marcelo Finger (University of Sao […]