Intuitionistic common knowledge or belief
| Data(s) |
2015
|
|---|---|
| Resumo |
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. |
| Formato |
application/pdf |
| Identificador |
http://boris.unibe.ch/71315/1/ick.pdf Jäger, Gerhard; Marti, Michel (2015). Intuitionistic common knowledge or belief. Journal of applied logic, 18, pp. 150-163. Elsevier 10.1016/j.jal.2016.04.004 <http://dx.doi.org/10.1016/j.jal.2016.04.004> doi:10.7892/boris.71315 info:doi:10.1016/j.jal.2016.04.004 urn:issn:1570-8683 |
| Idioma(s) |
eng deu |
| Relação |
http://boris.unibe.ch/71315/ |
| Direitos |
info:eu-repo/semantics/restrictedAccess |
| Fonte |
Jäger, Gerhard; Marti, Michel (2015). Intuitionistic common knowledge or belief. Journal of applied logic, 18, pp. 150-163. Elsevier 10.1016/j.jal.2016.04.004 <http://dx.doi.org/10.1016/j.jal.2016.04.004> |
| Palavras-Chave | #000 Computer science, knowledge & systems #510 Mathematics |
| Tipo |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion PeerReviewed |
| Publicador |
Elsevier |
