1.  26
    Laura Giordano, Valentina Gliozzi & Nicola Olivetti (2002). Iterated Belief Revision and Conditional Logic. 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. Dov Gabbay, Laura Giordano, Alberto Martelli & Nicola Olivetti (1996). A Language For Handling Hypothetical Updates And Inconsistency. 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  
  3. Laura Giordano, Alberto Martelli & Camilla Schwind (2007). Specifying and Verifying Interaction Protocols in a Temporal Action Logic. Journal of Applied Logic 5 (2):214-234.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography