for reasoning about knowledge of unawareness, by extending. Fagin and Halpern's Logic of General Awareness. The logic allows quantification over variables, ...
確定! 回上一頁