Program

Friday, January 30th

19.15 Dinner

 

 

 

Saturday, January 31th

07.30 - 09.00 Breakfast
09.00 - 09.10 Opening
09.10 - 09.40 Alex Citkin: Hereditary Structural Completeness: the Case of Intermediate Logics
09.45 - 10.15 Petr Cintula: Admissible Rules and Unification in the Implication-Negation Fragments of
  Superintuitionistic Logics
10.15 - 10.45 Coffee
10.45 - 11.15 Jeroen Goudsmit: Decidability of the Admissible Rules in Intuitionistic Propositional Logic
11.20 - 11.50 Laura Schnüriger: Admissible Rules of (Fragments of) R-Mingle
12.15 Lunch*
17.00 Coffee
18.00 - 18.30 Nick Bezhanishvili: Stable Canonical Rules and Admissibility I
18.35 - 19.05 Silvio Ghilardi: Stable Canonical Rules and Admissibility II
19.15 Dinner

 

 

 

Sunday, February 1st

07.30 - 09.00 Breakfast
09.10 - 09.40 Vladimir Rybakov: Linear Temporal Logic with Intransitive Time and Admissible Rules
09.45 - 10.15 Barbara Morawska: Disunification in the Description Logic EL: Open Problems and Partial Solutions
10.15 - 10.45 Coffee
10.45 - 11.15 Joan Gispert: Structurally Complete Lukasiewicz Logics
11.20 - 11.50 Fan Yang: Admissible Rules of Propositional Dependence Logic
12.15 Lunch*
17.00 Coffee
18.00 - 18.30 Wojciech Dzik: Admissible Infinitary Rules in Modal Logic I
18.35 - 19.05 Piotr Wojtylak: Admissible Infinitary Rules in Modal Logic II
19.15 Dinner