A canonical model construction for intuitionistic distributed knowledge. (English) Zbl 1400.03031

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 420-434 (2016).
Summary: 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 intutionistic modal logic. Motivated by an approach due to R. Fagin et al. [J. Assoc. Comput. Mach. 39, No. 2, 328–376 (1992; Zbl 0799.68179)], though significantly simplified for the treatment of IDK and IDT, we show completeness of these systems via a canonical model construction.
For the entire collection see [Zbl 1367.03009].


03B42 Logics of knowledge and belief (including belief change)
03B20 Subsystems of classical logic (including intuitionistic logic)


Zbl 0799.68179