Intuitionistic common knowledge or belief

Jäger, Gerhard; Marti, Michel (2016). Intuitionistic common knowledge or belief. Journal of applied logic, 18, pp. 150-163. Elsevier 10.1016/j.jal.2016.04.004

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

Download (254kB) | Request a copy

Starting off from the usual language of modal logic for multi-agent systems dealing with the agents’ knowledge/belief and common knowledge/belief we define so-called epistemic Kripke structures for intu- itionistic (common) knowledge/belief. Then we introduce corresponding deductive systems and show that they are sound and complete with respect to these semantics.

Item Type: Journal Article (Original Article)
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
ISSN: 1570-8683
Publisher: Elsevier
Language: English
Submitter: Lukas Jaun
Date Deposited: 26 Aug 2015 10:38
Last Modified: 24 Jan 2017 10:18
Publisher DOI: 10.1016/j.jal.2016.04.004
BORIS DOI: 10.7892/boris.71315
URI: http://boris.unibe.ch/id/eprint/71315

Actions (login required)

Edit item Edit item
Provide Feedback