Switch to: References

Add citations

You must login to add citations.
  1. Dynamic Introspection.Michael Cohen - 2021 - Dissertation, Stanford University
    Download  
     
    Export citation  
     
    Bookmark  
  • Inexact knowledge and dynamic introspection.Michael Cohen - 2021 - Synthese 199 (3-4):5509-5531.
    Cases of inexact observations have been used extensively in the recent literature on higher-order evidence and higher-order knowledge. I argue that the received understanding of inexact observations is mistaken. Although it is convenient to assume that such cases can be modeled statically, they should be analyzed as dynamic cases that involve change of knowledge. Consequently, the underlying logic should be dynamic epistemic logic, not its static counterpart. When reasoning about inexact knowledge, it is easy to confuse the initial situation, the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Opaque Updates.Michael Cohen - 2020 - Journal of Philosophical Logic 50 (3):447-470.
    If updating with E has the same result across all epistemically possible worlds, then the agent has no uncertainty as to the behavior of the update, and we may call it a transparent update. If an agent is uncertain about the behavior of an update, we may call it opaque. In order to model the uncertainty an agent has about the result of an update, the same update must behave differently across different possible worlds. In this paper, I study opaque (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations