雅库布·米查利辛 扬·奥托普 伊曼纽尔·基隆斯基 初等模态逻辑的可判定性。 2 2015 17 ACM事务处理。计算。日志。 1 https://doi.org/10.1145/2817825 db/journals/tocl/tocl17.html#MichaliszynOK15