LP-1996-10: Reasoning about Information Change

LP-1996-10: Gerbrandy, Jelle and Groeneveld, Willem (1996) Reasoning about Information Change. [Report]

[thumbnail of Full Text] Text (Full Text)
LP-1996-10.text.ps.gz

Download (73kB)
[thumbnail of Abstract] Text (Abstract)
LP-1996-10.abstract.txt

Download (622B)

Abstract

Recently the notions of information and information change have gained a
prominent place in several fields of scientific research, such as philosophy,
the formal semantics of natural language and computer science. The present
paper highlights two of such developments, namely the update semantics of
Veltman (1996), and the analysis of communication in distributed systems, in
particular the approach of Fagin et al. (1995). Our main goal here is to show
that tools of the former may provide useful supplements to the approach of the
latter.

Item Type: Report
Report Nr: LP-1996-10
Series Name: Logic, Philosophy and Linguistics (LP)
Year: 1996
Date Deposited: 12 Oct 2016 14:39
Last Modified: 12 Oct 2016 14:39
URI: https://eprints.illc.uva.nl/id/eprint/1246

Actions (login required)

View Item View Item