When we make a non-trivial prediction about the future we select, among the conceivable future descriptions of the world, those that appear to us to be most likely. Within a branching-time framework we capture this by means of two binary relations, < c and < p. If t1 and t2 are different points in time, we interpret t1 < c t2 as saying that t2 is in the conceivable future of t1, while t1 < p t2 is interpreted to mean that t2 is in the predicted future of t1. We propose the following notion of "consistency of predictions." Suppose that at t1 some future moment t2 is predicted to occur, then (a) every moment t between t1 and t2 should also be predicted at t1 and (b) the prediction of t2 should continue to hold at every t between t1 and t2. We provide a sound and complete axiomatization for this notion of consistency.
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 California Davis - Department of Economics in its series Department of Economics with number
98-12.
Length: Date of creation: Date of revision: Handle: RePEc:fth:caldec:98-12
Contact details of provider: Postal: University of California Davis - Department of Economics. One Shields Ave., California 95616-8578 Phone: (530) 752-0741 Fax: (530) 752-9382 Email: Web page: http://www.econ.ucdavis.edu/ More information through EDIRC
For technical questions regarding this item, or to correct its listing, contact: (Thomas Krichel).