Switch to: References

Add citations

You must login to add citations.
  1. Awareness as Potential for Knowledge.Pengfei Song & Wei Xiong - 2023 - Journal of Philosophical Logic 52 (2):669-703.
    With the idea of analyzing awareness as potential for knowledge, we propose a novel semantics for awareness logic. Expressivities of languages with different combinations of modalities for this semantics are investigated. We explore the properties of our semantics and compare our model with Fagin & Halpern model and the model by Heifetz et al. in partitional settings. A series of equivalence results are established from the comparison. Finally, we provide two axiomatizations for implicit knowledge and explicit knowledge, respectively, and prove (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • A Modal View on Resource-Bounded Propositional Logics.Pere Pardo - 2022 - Studia Logica 110 (4):1035-1080.
    Classical propositional logic plays a prominent role in industrial applications, and yet the complexity of this logic is presumed to be non-feasible. Tractable systems such as depth-bounded boolean logics approximate classical logic and can be seen as a model for resource-bounded agents whose reasoning style is nonetheless classical. In this paper we first study a hierarchy of tractable logics that is not defined by depth. Then we extend it into a modal logic where modalities make explicit the assumptions discharged in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark