Waragai, T. and Omori, H. (2010) “Some new results on PCL1 and its related systems”, Logic and Logical Philosophy, 19(1-2), pp. 129–158. doi: 10.12775/LLP.2010.006.