Order:
  1.  42
    On the Relation Between Possibilistic Logic and Modal Logics of Belief and Knowledge.Mohua Banerjee, Didier Dubois, Lluis Godo & Henri Prade - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):206-224.
    Possibilistic logic and modal logic are knowledge representation frameworks sharing some common features, such as the duality between possibility and necessity, and the decomposability of necessity for conjunctions, as well as some obvious differences since possibility theory is graded. At the semantic level, possibilistic logic relies on possibility distributions and modal logic on accessibility relations. In the last 30 years, there have been a series of attempts for bridging the two frameworks in one way or another. In this paper, we (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  2.  12
    A Logic for Multiple-Source Approximation Systems with Distributed Knowledge Base.Md Aquil Khan & Mohua Banerjee - 2011 - Journal of Philosophical Logic 40 (5):663-692.
    The theory of rough sets starts with the notion of an approximation space , which is a pair ( U , R ), U being the domain of discourse, and R an equivalence relation on U . R is taken to represent the knowledge base of an agent, and the induced partition reflects a granularity of U that is the result of a lack of complete information about the objects in U . The focus then is on approximations of concepts (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  6
    Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-Valued, Rough Set and Perp Semantics.Arun Kumar & Mohua Banerjee - 2017 - Studia Logica 105 (3):439-469.
    A structural theorem for Kleene algebras is proved, showing that an element of a Kleene algebra can be looked upon as an ordered pair of sets, and that negation with the Kleene property is describable by the set-theoretic complement. The propositional logic \ of Kleene algebras is shown to be sound and complete with respect to a 3-valued and a rough set semantics. It is also established that Kleene negation can be considered as a modal operator, due to a perp (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark