2016-09-24 正規言語のVariety Theoryと動的命題論理 論文等紹介 動的命題論理(PDL)について調べていて分かりやすい日本語文献があったので、シェアしておきます。 ci.nii.ac.jp