November 7-8, 2022
1st Workshop on Non-deterministic Semantics for Modal Logics
Ruhr University Bochum
Zoomlink:
Meeting ID: 680 4161 1442 Passcode: 189524
Information:
The most popular semantics for modality are the so-called Kripke semantics. However, since the beginning of studies in modal logic, there were several attempts aiming at other reasonable semantics for modality. And this workshop is concerned with a very particular kind of semantics for modal logic, namely the so-called non-deterministic semantics. Already in the 1970s, Yuri Ivlev approached modality in terms of a many-valued interpretation, and in the 1980s John Kearns, proved that S5-modalities, as well as T- and S4 modalities, can be captured by making non-trivial use of four-valued non-deterministic semantics. It is the aim of this workshop to bring together logicians from all around the world, who have been working on non-deterministic semantics for modal logics in order to discuss technical and philosophical issues that may arise from this non-standard approach to modal logic.
Organization & Contact:
Daniel Skurt (Ruhr University Bochum) For any questions or inquiries please send a mail to: daniel.skurt@rub.de
Important Dates
Registration opening: October 17, 2022
Registration closing: November 6, 2022
Workshop: November 7-8, 2022
The Venue
Veranstaltungszentrum, Saal 4, RUB (Universitätsstraße 150, 44801 Bochum)
The workshop will be held in hybrid format.
The conference is supported by the DFG, grant SK 379/1-1
