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:

https://boris.unibe.ch/id/eprint/71315

Actions (login required)

Edit item Edit item
Provide Feedback