唯名论

简介在量化模态逻辑中，布里丹公式和可转换的布里丹公式（更准确地说，是模式而不是公式）（i）在句法上说明量词和模态之间的互换原则；（ii）在语义上说明可...