巴肯公式-一流百科

巴肯公式

简介在量化模态逻辑中，巴肯公式和相反的巴肯公式（更准确地说，是图式而不是公式）（i）在语法上陈述了量词和模态之间的互换原则；（ii）在语义上陈述了可能...