Mark Ryan Pierre-Yves Schobbens Belief Revision and Verisimilitude. 15-29 1995 36 Notre Dame Journal of Formal Logic 1 db/journals/ndjfl/ndjfl36.html#RyanS95