Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Preferred history semantics for iterated updates

Preferred history semantics for iterated updates We give a semantics to iterated update by a preference relation on possible developments. An iterated update is a sequence of formulas, giving (incomplete) information about successive states of the world. A development is a sequence of models, describing a possible trajectory through time. We assume a principle of inertia and prefer those developments which are compatible with the information and avoid unnecessary changes. The logical properties of the updates defined in this way are considered, and a representation result is proved. Key words http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Journal of Logic and Computation Oxford University Press

Preferred history semantics for iterated updates

Loading next page...
 
/lp/oxford-university-press/preferred-history-semantics-for-iterated-updates-jSVxWyFMfT

References (9)

Publisher
Oxford University Press
Copyright
Copyright © 2015 Dov Gabbay
ISSN
0955-792X
eISSN
1465-363X
DOI
10.1093/logcom/9.6.817
Publisher site
See Article on Publisher Site

Abstract

We give a semantics to iterated update by a preference relation on possible developments. An iterated update is a sequence of formulas, giving (incomplete) information about successive states of the world. A development is a sequence of models, describing a possible trajectory through time. We assume a principle of inertia and prefer those developments which are compatible with the information and avoid unnecessary changes. The logical properties of the updates defined in this way are considered, and a representation result is proved. Key words

Journal

Journal of Logic and ComputationOxford University Press

Published: Dec 1, 1999

There are no references for this article.