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