搜索结果: 1-1 共查到“演绎逻辑学 some second-order modal logics”相关记录1条 . 查询时间(0.093 秒)
Product closure of some second-order modal logics
some second-order modal logics math
font style='font-size:12px;'>
2010/11/24
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...