Sahlqvist Correspondence Theory for Modal Logic with Quantification over Relations
发布时间：2024-01-19 点击数：
所属单位：哲学与社会发展学院
论文名称：Sahlqvist Correspondence Theory for Modal Logic with Quantification over Relations
发表刊物：逻辑学研究
第一作者：梁飞
论文编号：AC9FBF97BD94495989C4E5679B41FDE8
期号：6
字数：20
是否译文：否
发表时间：2023-12