The workshop happens in the first week of ESSLLI 2017, 17th-21st July, 2017.
Accepted Papers:
A preliminary schedule. Citkin warned us that he will not be able to participate.
(please let us know if you notice any problems!)
Sergei Artemov
Constructive knowledge: modal and beyond
Tues
Wed
Thurs
Fri
G. A. Kavvos
Intensionality, Intensional Recursion, and the Gödel-Löb axiom
Ilya Shapirovsky
Analogs of Glivenko’s translation for polymodal logics
A modal characterisation of an intuitionistic I/O operation
Philippe Balbiani, Joseph Boudou, Martín Diéguez and David Fernández-Duque
Bisimulations for intuitionistic temporal logics
Roman Kuznets, Sonia Marin and Lutz Strassburger
Justification logic for constructive modal logic
Introspective Kripke models and normalisation by evaluation for the λ□-calculus
V. Peluce
On the Paradox of Belief
Alexandra Podgayts
Proof Systems and Models for the First-Order Primal Logic
Panel Discussion on Constructive Modal Logics:
ALL