The Last Update Time: ..
. Algebraic Proof Theory for LE-logics. ACM Transactions on Computational Logic, 2022.
梁飞. Sahlqvist Correspondence Theory for Modal Logic with Quantification over Relations. 逻辑学研究, 2023.
梁飞. 金岳霖论"逻辑一元论"——兼与普利斯特"逻辑一元论"比较. 《文史哲》(2003年第4期), 88-92, 2023.
. Semi De Morgan Logic Properly Displayed. Studia Logica, 2020.
. Semi De Morgan Logic Properly Displayed. Studia Logica, 2020.
王文方. Indicative Conditionals as Epistemic Filter Conditionals. 逻辑学研究, 15, 1, 2022.