The temporal updating of an agent's beliefs in response to a flow of information is modeled in a simple modal logic that, for every date t , contains a normal belief operator B[subscript t] and a non-normal information operator I[subscript t] which is analogous to the 'only knowing' operator discussed in the computer science literature. Soundness and completeness of the logic are proved and the relationship between the proposed logic and the AGM theory of belief revision is discussed.
Download Info
To download:
If you experience problems downloading a file, check if you have the
proper application to
view it first. Information about this may be contained
in the File-Format links below. In case of further problems read
the IDEAS help
page. Note that these files are not on the IDEAS
site. Please be patient as the files may be large.
Publisher Info
Paper provided by University of California at Davis, Department of Economics in its series Working Papers with number
05-41.