様相論理は、~といっている人(笑)がいますが、い~ろいろあるわけです。で、~すべきだのような義務を扱う場合が問題となっていますね。さて、一般には古典論理にいくつかの規則と演算子を追加したものが様相論理ですが、この場合、どんな規則と、演算子を追加したものを想定しているのでしょうか?そして、否定の否定はもとにもどるんでしょうかw