Waragai, Toshiharu, and Hitoshi Omori. 2010. “Some New Results on PCL1 and Its Related Systems”. Logic and Logical Philosophy 19 (1-2):129-58. https://doi.org/10.12775/LLP.2010.006.