X-2000-01: van Ditmarsch, H.P. (2000) Dynamic Knowledge Logic. [Report]
Preview |
Text (Full Text)
X-2000-01.text.pdf Download (332kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
X-2000-01.abstract.txt Download (592B) |
Abstract
Modelling the epistemic dynamics of multiagent systems currently gets
much attention from the research community. Contrary to most approaches,
we restrict ourselves to S 5 models. We propose a language KT of knowledge
action types and a derived language KA of knowledge actions. Basic to our
approach is the concept of local interpretation, where `local' means:
only for the agents involved in that action. The language can be fruitfully
applied to describe actions in knowledge games.
| Item Type: | Report |
|---|---|
| Report Nr: | X-2000-01 |
| Series Name: | Technical Notes (X) Series |
| Year: | 2000 |
| Uncontrolled Keywords: | dynamics, epistemic logic, multiagent systems |
| Subjects: | Logic |
| Date Deposited: | 12 Oct 2016 14:37 |
| Last Modified: | 12 Oct 2016 14:37 |
| URI: | https://eprints.illc.uva.nl/id/eprint/641 |
Actions (login required)
 |
View Item |
