搜索结果: 1-1 共查到“演绎逻辑学 some second-order modal logics”相关记录1条 . 查询时间(0.125 秒)
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...