November 7-8, 2022
1st Workshop on Non-deterministic Semantics for Modal Logics

Zoomlink:

Link

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

Registration

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.