1.  36
    Iterated Belief Revision and Conditional Logic.Laura Giordano, Valentina Gliozzi & Nicola Olivetti - 2002 - Studia Logica 70 (1):23-47.
    In this paper we propose a conditional logic called IBC to represent iterated belief revision systems. We propose a set of postulates for iterated revision which are a small variant of Darwiche and Pearl''s ones. The conditional logic IBC has a standard semantics in terms of selection function models and provides a natural representation of epistemic states. We establish a correspondence between iterated belief revision systems and IBC-models. Our representation theorem does not entail Gärdenfors'' Triviality Result.
    Direct download (7 more)  
    Export citation  
    My bibliography   1 citation  
  2.  1
    Specifying and Verifying Interaction Protocols in a Temporal Action Logic.Laura Giordano, Alberto Martelli & Camilla Schwind - 2007 - Journal of Applied Logic 5 (2):214-234.
  3.  1
    A Language For Handling Hypothetical Updates And Inconsistency.Dov Gabbay, Laura Giordano, Alberto Martelli & Nicola Olivetti - 1996 - Logic Journal of the IGPL 4 (3):385-416.
    In this paper we propoee a logic programming language which supports hypothetical updates together with integrity constraints. The language makes use of a revision mechanism, which is needed to restore consistency when an update violates some integrity constraint. The revision policy adopted is based on the simple idea that more recent information is preferred to earlier one. We show how this language can be used to represent and perform several types of defeasible reasoning. We develop a logical characterization of the (...)
    Direct download (2 more)  
    Export citation  
    My bibliography