完全なゲームロジックと妨害

ゲームロジック(GL)の単純で自然な拡張であるサボタージュゲームロジック(GLs)を導入し、GLsがモーダル μ-計算と表現力が等しいことを示す。さらに、GLsの完全な証明計算を提示し、これによりGLの拡張の完全性も得られる。