Abstract
The Egli-Milner power-ordering is used to define verisimilitude orderings on theories from preference orderings on models. The effects of the definitions on constraints such as stopperedness and soundness are explored. Orderings on theories are seen to contain more information than orderings on models. Belief revision is defined in terms of both types of orderings, and conditions are given which make the two notions coincide.
Citation
Mark Ryan. Pierre-Yves Schobbens. "Belief Revision and Verisimilitude." Notre Dame J. Formal Logic 36 (1) 15 - 29, Winter 1995. https://doi.org/10.1305/ndjfl/1040308826
Information