直観主義様相論理iK
#直観主義様相論理
正規様相論理K
の直観主義論理バージョン．
参考文献
2023.11.11#654f207313a1580000c1914c
にメモした．