1.  46
    Three Approaches to Iterated Belief Contraction.Raghav Ramachandran, Abhaya C. Nayak & Mehmet A. Orgun - 2012 - Journal of Philosophical Logic 41 (1):115-142.
    In this paper we investigate three approaches to iterated contraction, namely: the Moderate (or Priority) contraction, the Natural (or Conservative) contraction, and the Lexicographic contraction. We characterise these three contraction functions using certain, arguably plausible, properties of an iterated contraction function. While we provide the characterisation of the first two contraction operations using rationality postulates of the standard variety for iterated contraction, we found doing the same for the Lexicographic contraction more challenging. We provide its characterisation using a variation of (...)
    Direct download (4 more)  
    Export citation  
    Bookmark   1 citation  
  2.  17
    An Analytic Tableau Calculus for a Temporalised Belief Logic.Ji Ma, Mehmet A. Orgun & Kamel Adi - 2011 - Journal of Applied Logic 9 (4):289-304.
  3.  6
    Special Issue on Logics for Intelligent Agents and Multi-Agent Systems.Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds & Abdul Sattar - 2011 - Journal of Applied Logic 9 (4):221-222.
    Direct download (3 more)  
    Export citation