様相論理S4Grzは決定可能
#様相論理の決定可能性
References
K. Segerberg; 1971; "An Essay in Classical Modal Logic"
に書いてあるらしいが,リンクが切れているため見る手段が無い.