Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4
Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4
复制标题
“足够确定性”的语义和拟合在 S4 中嵌入经典逻辑
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Gergei Bana and Mitsuhiro Okada
中科院分区：
文献类型：
--
作者：
CAI Dapeng;KARASAWA-OHTASHIRO Yukio;安田忠典;Gergei Bana and Mitsuhiro Okada
