A canonical model construction for intuitionistic distributed knowledge

Gerhard Jäger, Michel Marti. A canonical model construction for intuitionistic distributed knowledge. In Lev D. Beklemishev, Stéphane Demri, András Maté, editors, Advances in Modal Logic 11, proceedings of the 11th conference on "Advances in Modal Logic," held in Budapest, Hungary, August 30 - September 2, 2016. pages 420-434, College Publications, 2016. [doi]

Abstract

Abstract is missing.