1.  18
    Riccardo Rosati (2001). A Sound and Complete Tableau Calculus for Reasoning About Only Knowing and Knowing at Most. Studia Logica 69 (1):171-191.
    We define a tableau calculus for the logic of only knowing and knowing at most ON, which is an extension of Levesque's logic of only knowing O. The method is based on the possible-world semantics of the logic ON, and can be considered as an extension of known tableau calculi for modal logic K45. From the technical viewpoint, the main features of such an extension are the explicit representation of "unreachable" worlds in the tableau, and an additional branch closure condition (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  14
    Riccardo Rosati (1999). Reasoning About Minimal Knowledge in Nonmonotonic Modal Logics. Journal of Logic, Language and Information 8 (2):187-203.
    We study the problem of embedding Halpern and Moses's modal logic of minimal knowledge states into two families of modal formalism for nonmonotonic reasoning, McDermott and Doyle's nonmonotonic modal logics and ground nonmonotonic modal logics. First, we prove that Halpern and Moses's logic can be embedded into all ground logics; moreover, the translation employed allows for establishing a lower bound (3p) for the problem of skeptical reasoning in all ground logics. Then, we show a translation of Halpern and Moses's logic (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  3. Andrea Calì, Domenico Lembo & Riccardo Rosati (2005). A Comprehensive Semantic Framework for Data Integration Systems. Journal of Applied Logic 3 (2):308-328.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography