搜索结果: 1-1 共查到“数理逻辑与数学基础 some second-order modal logics”相关记录1条 . 查询时间(0.078 秒)
Product update is an operation on models introduced into epistemic logic in order to represent a broad class of informational events. If adding modalities representing product update to a language do...