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]

Authors

Gerhard Jäger

This author has not been identified. Look up 'Gerhard Jäger' in Google

Michel Marti

This author has not been identified. Look up 'Michel Marti' in Google