@dblp

A canonical model construction for intuitionistic distributed knowledge.

, and . Advances in Modal Logic, page 420-434. College Publications, (2016)

Links and resources

Tags