1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 办公文档
  5. 产品手册

YANGRUIZHI 杨睿之 说明书 说明书用户手册.pdf

YANGRUIZHI 杨睿之 说明书 说明书用户手册.pdf

    模态逻辑

    杨睿之

    复旦大学哲学学院

    2021年春季

    前情提要

    超滤扩张ueF=(Uf(W),Rue)。其中

    Rueuv⇔∀X⊂W(X∈v→m(X)∈u)

    超滤扩张是模态饱和的，因而是HM类

    ′′

    M,wM,w⇔ueM,uwueM,uw′

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >