Ersan, M.Akman, V.2019-02-062019-02-0619950945-9103http://hdl.handle.net/11693/48925Situation theory is a mathematical theory of meaning introduced by Jon Barwise and John Perry. It has evoked great theoretical interest and motivated the framework of a few `computational' systems. PROSIT is the pioneering work in this direction. Unfortunately, there is a lack of real-life applications on these systems and this study is a preliminary attempt to remedy this de ciency. Here, we solve a group of epistemic puzzle using the constructs provided by PROSITEnglishcomputational situation theoryepistemic puzzlescommon knowledgePROSITArticle10.1093/jigpal/3.1.51