A canonical model construction for intuitionistic distributed knowledge

Jäger, Gerhard; Marti, Michel (2016). A canonical model construction for intuitionistic distributed knowledge. In: Beklemishev, Lev; Demri, Stéphane; Máté, András (eds.) Advances in Modal Logic. Advances in Modal Logic 2016: Vol. 11 (pp. 420-434). College Publications

[img] Text
jmidk16.pdf - Accepted Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (373kB) | Request a copy

Intuitionistic epistemic logic is an active research field. However, so far no consensus has been reached what the correct form of intuitionistic epistemic logic is and more technical and conceptual work is needed to obtain a better understanding. This article tries to make a small technical contribution to this enterprise. Roughly speaking, a proposition is distributed knowledge among a group of agents if it follows from their combined knowledge. We are interested in formalizing intuitionistic distributed knowledge. Our focus is on two theories IDK and IDT, presented as Hilbert-style systems, and the proof of the completeness of these theories; their correctness is obvious. Intuitionistic distributed knowledge is semantically treated following the standard
lines of intuitionistic modal logic. Motivated by an approach due to Fagin, Halpern, and Vardi, though significantly simplified for the treatment of IDK and IDT, we show completeness of these systems via a canonical model construction.

Item Type:

Conference or Workshop Item (Paper)


08 Faculty of Science > Institute of Computer Science (INF)
08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)

UniBE Contributor:

Jäger, Gerhard Max and Marti, Michel


000 Computer science, knowledge & systems
500 Science > 510 Mathematics




Advances in Modal Logic 2016


College Publications




Lukas Jaun

Date Deposited:

13 Feb 2017 12:35

Last Modified:

03 Sep 2019 14:39





Actions (login required)

Edit item Edit item
Provide Feedback