Mark Ryan Pierre-Yves Schobbens Counterfactuals and Updates as Inverse Modalities. 123-146 1997 6 Journal of Logic, Language and Information 2 db/journals/jolli/jolli6.html#RyanS97