A canonical model construction for intuitionistic distributed knowledge

TitleA canonical model construction for intuitionistic distributed knowledge
Publication TypeConference Paper
Year of Publication2016
AuthorsJäger, G, Marti, M
EditorBeklemishev, L, Demri, S, Máté, A
Conference NameAdvances in Modal Logic 2016
PublisherCollege Publications
URLhttp://www.iam.unibe.ch/ltgpub/2016/jmidk16.pdf