西村祐輝; "様相論理のラベル付きタブロー計算"
https://nishimura-yuki-website.glitch.me/article-lab-tab-for-ml.html
M. Fitting; "Tableau methods of proof for modal logics"
や
G. Priest; "An Introducton to Non-Classical Logic: From If to Is"
などを参照に
様相論理のタブロー計算
：
ラベル付きタブロー計算
これどうやって
$ \bf K4
とかに拡張するんだろう？
#西村_祐輝