BoxとDiamondの様相論理
$ \mathscr{L}_\Boxは$ \Boxを持ち,略記として$ \Diamondを定義するとする.(略記は本質ではなく導入してもよいが)
どうにかして何らかの定理集合$ T \sube \mathrm{Form}_{\mathscr{L}_\Box}を作ってこれを論理と呼ぶ.
普通の定義や考えるときは$ Tは正規様相論理($ \bf Kとネセシテーションで閉じている)となる. 一方で例えば
ネセシテーションを棄却したり:(対応物を知らない,認識論理にはあるらしいのだが…) といった論理もあるわけで,これらを包含したもっと広い論理一般をなんと呼べば良いのかわからない
Modal Logic of $ \mathscr{L}_\Boxとでも呼ぶしか無いのか?