1.  10
    Counterfactuals and updates as inverse modalities.Mark Ryan & Pierre-Yves Schobbens - 1997 - Journal of Logic, Language and Information 6 (2):123-146.
    We point out a simple but hitherto ignored link between the theoryof updates, the theory of counterfactuals, and classical modal logic: update is a classicalexistential modality, counterfactual is a classical universalmodality, and the accessibility relations corresponding to these modalities are inverses. The Ramsey Rule (often thought esoteric) is simply an axiomatisation of this inverse relationship. We use this fact to translate between rules for updates andrules for counterfactuals. Thus, Katsuno and Mendelzons postulatesU1--U8 are translated into counterfactual rules C1--C8(Table VII), and (...)
    Direct download (5 more)  
    Export citation  
    Bookmark   9 citations  
  2.  14
    Belief Revision and Verisimilitude.Mark Ryan & Pierre-Yves Schobbens - 1995 - Notre Dame Journal of Formal Logic 36 (1):15-29.
    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.
    Direct download (5 more)  
    Export citation  
    Bookmark   5 citations  
  3.  16
    The computational complexity of scenario-based agent verification and design.Yves Bontemps & Pierre-Yves Schobbens - 2007 - Journal of Applied Logic 5 (2):252-276.
    Direct download (3 more)  
    Export citation