| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662878 | Journal of Applied Logic | 2016 | 14 Pages |
Abstract
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 intuitionistic (common) knowledge/belief. Then we introduce corresponding deductive systems and show that they are sound and complete with respect to these semantics.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Gerhard Jäger, Michel Marti,