X-2000-01: Dynamic Knowledge Logic

X-2000-01: van Ditmarsch, H.P. (2000) Dynamic Knowledge Logic. [Report]

[img]
Preview
Text (Full Text)
X-2000-01.text.pdf

Download (332kB) | Preview
[img] 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 View Item