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)
Division/Institute: 08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)
UniBE Contributor: Jäger, Gerhard and Marti, Michel
Subjects: 000 Computer science, knowledge & systems
500 Science > 510 Mathematics
ISBN: 978-1-84890-201-5
Series: Advances in Modal Logic 2016
Publisher: College Publications
Language: English
Submitter: Lukas Jaun
Date Deposited: 13 Feb 2017 12:35
Last Modified: 13 Feb 2017 12:35
BORIS DOI: 10.7892/boris.94867
URI: http://boris.unibe.ch/id/eprint/94867

Actions (login required)

Edit item Edit item
Provide Feedback