証明可能性論理D
Ref
数学における証明と真理 様相論理と数学基礎論
を信じるなら、
Giorgi Japaridze
によって発見された
様相論理GL
の拡張である
Japaridze
は
Dzhaparidze
ともスペリングされるため、
$ \sf D
となっている。
L. Beklemishev; "On the Classification of Propositional Provability Logics"
Def:
$ \mathsf{D} = \mathsf{GL} + \{\lnot\Box\bot, \Box(\Box A \lor \Box B) \to (\Box A \lor \Box B)\}