Aim
The four-valued logic of Belnap and Dunn, also known as FDE, is known to be at the core of a number of non-classical logics, such as relevance logics and Nelson's logics with strong negation. The former family also saw a lot of developments on modalities based on relevance logics since early 80s. For the latter family, the first step towards systematic developments of FDE-based modal logics with Booelan instead of intuitionistic implication was made by Odintsov and Wansing in 2010 through their paper "Modal logics with Belnapian truth values", and there is now a bilateral project between groups led by Odintsov in Russia and Wansing in Germany. Moreover, there are some interesting developments within the group in Prague on modal logics based on substructural logics which can be seen as working under the influences of both families.
Based on these, the aim of this workshop is to discuss and exchange new ideas and recent developments related to FDE-based modal logics, broadly construed.
Date & Venue
Speakers
Program
09:30--10:30 Stanislav O. Speranski "Dosen-style and Routley-style semantics for negation in a quantified setting" [abstract]
10:30--11:30 Sergey A. Drobyshevich "A general framework for FDE-based modal logics" [abstract]
11:30--12:00 Coffee break
12:00--13:00 Marta Bílková "On (in)finitary proof theory of a Belnap-Dunn logic of common belief" [abstract]
13:00--14:15 Lunch
14:15--15:15 Daniel Skurt "On non-normal variants of FDE-based Modal Logics" [abstract]
15:15--16:15 Igor Sedlár "FDE-based dynamic logics" [abstract]
16:15--16:45 Coffee break
16:45--17:45 Vít Punčochář "FDE-Based Inquisitive Dynamic Epistemic Logic" [abstract]
Collocated events
Acknowledgment
This workshop is supported by the Deutsche Forschungsgemeinschaft, DFG, grant WA 936/13-1 , as well as by a Sofja Kovalevskaja Award of the Alexander von Humboldt- Foundation, funded by the German Ministry for Education and Research.
Organizer
The workshop is organized by Heinrich Wansing and Hitoshi Omori. For any inquiries, please write to Hitoshi at: Hitoshi [dot] Omori [at] rub [dot] de.