直観主義様相論理
Def: 正規様相論理$ \sf \Lambdaの直観主義バージョン$ \sf i\Lambda
memo
場合によっては違う可能性があるのでしっかり定義を追うこと．
正規様相論理の場合，その（Hilbert流演繹体系の）定義は
1. 古典命題論理のトートロジー
2. 様相論理の公理K + 諸々の公理
3. モーダス・ポネンス
4. ネセシテーション
として与えられたことを考えて，各々の論理で1を直観主義命題論理のトートロジーに置き換えれば良い．
Notation
このプロジェクト全体のノーテーション（論理学のノーテーション）を踏襲し
正規様相論理K$ \sf Kの直観主義バージョン/直観主義様相論理iKは$ \sf iKと表すことにする．
様相論理GLの$ \sf GLに対して，直観主義証明可能性論理iGL$ \sf iGL
2023.11.11追記
と思ったが，いくつかの観点からこれは廃止するかもしれない．
直観主義様相論理の慣習的な扱いの違いについてを参照．