Propositional Dynamic Logic of Looping and Converse 注意 : 本記事は記事の体をなさぬ自分用メモです。したがってわかりやすさ等について一切の配慮をしておりません。内容を整理し記事の体をなすようになれば「記事の体をなさぬメモ」タグを外します。 I…

動的命題論理(PDL)について調べていて分かりやすい日本語文献があったので、シェアしておきます。 ci.nii.ac.jp

当ブログ最初の記事ですが, 初っ端から論文紹介です。 (挨拶記事だけ書いてブログに飽きるというジンクスを回避したい…) 以降も,こんな感じで面白いなと思った論文や記事の紹介,解説をしていく感じになると思います(続けば) ざっくり説明するので,しっかり理…