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