Skip to content

A canonical model construction for intuitionistic distributed knowledge.

Gerhard Jger, Michel Marti

VenueBAiML
Year2016
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.