Mini-Workshop on Non-Classical Logics

Date

March 24th, 2016

Venue

ExWi building, Sidlerstasse 5, Bern: room A97 (how to get there)

Program

10.15-11.00   Almudena Colacito:  Subminimal Logics of Negation – A Sequent Calculus System

11.00-11.30   Michel Marti:  Intuitionistic Justification Logics

11.30-12.00   Laura Schnüriger:  A Modal Logic of the Real Numbers

12.00-13.30   Lunch

13.30-14.30   Johannes Marti:  Duality for Non-monotonic Consequence Relations and  Antimatroids

14.30-15.00   Silvia Steila:  From equivalent forms of CH to CH-systems

Registration

Everyone is welcome, no registration is needed.

Organizers

George Metcalfe, Laura Schnüriger, and Jonas Rogger

Advertisements