結局行くことが出来なかった若手による数理論理研究集会2023に証明可能性論理D(森岡 蒼; "証明可能性論理Dのモデルの拡張")についての発表があったが調べても出てこないためどういうものなのかさっぱりわからない