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