交织逻辑建立在所谓交织语义学(Fibring Semantics)或交织模型(Fibring Model)的基础上。Gabbay通过模态逻辑的具体公式来阐述交织语义学的观念:令的两个模态语言,其原子命题的集合
基于8个网页-相关网页
fibring model
纤维空间模型
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动