Def: [正規様相論理\sf \Lambdaの直観主義バージョン\sf i\Lambda]

場合によっては違う可能性があるのでしっかり定義を追うこと．

正規様相論理の場合，その（Hilbert流演繹体系の）定義は

1. 古典命題論理のトートロジー

2. 様相論理の公理K + 諸々の公理

3. モーダス・ポネンス

4. ネセシテーション

として与えられたことを考えて，各々の論理で1を直観主義命題論理のトートロジーに置き換えれば良い．

このプロジェクト全体のノーテーション（論理学のノーテーション）を踏襲し

正規様相論理K\sf Kの直観主義バージョン/直観主義様相論理iKは\sf iKと表すことにする．

様相論理GLの\sf GLに対して，直観主義証明可能性論理iGL\sf iGL

と思ったが，いくつかの観点からこれは廃止するかもしれない．

直観主義様相論理の慣習的な扱いの違いについてを参照．