Aim

The aim of this workshop is to discuss and exchange new ideas and recent developments related to nonclassical logics, with an emphasis on constructive logics, relevant logics and conditional logics.

Date & Venue

• Date: April 19, 2022.

• Venue: Room Shanghai, Beckmanns Hof, Ruhr University Bochum. (Beckmanns Hof is not in this map. Here is a map.)

Speakers

• Nicholas Ferenz (The Czech Academy of Sciences)

• Satoru Niki (Ruhr University Bochum)

• Hitoshi Omori (Ruhr University Bochum)

• Andrew Tedder (Ruhr University Bochum)

• Heinrich Wansing (Ruhr University Bochum)

Program

10:15--11:15 Heinrich Wansing "Some remarks on conditional connexive logic"

11:15--11:30 Coffee

11:30--12:30 Hitoshi Omori "A note on Sasaki's conditional in view of Garson's question"

12:30--14:00 Lunch

14:00--15:00 Satoru Niki "Provable contradictions in constructive logics"

15:00--15:15 Coffee

15:15--16:15 Nicholas Ferenz "Some Results, Thoughts, and Historical Notes on Quantified (Modal) Relevant Logics"

16:15--16:30 Coffee

16:30--17:30 Andrew Tedder "The Algebraic Structure of Mares-Goldblatt Models"

Acknowledgment

Bochum Nonclassical Logic Workshop II is supported by the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme, grant agreement ERC-2020-ADG, 101018280, ConLog, 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.