ネセシテーションを持たない様相論理

あるらしいのだが，私は一例しか知らない．