提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP：期刊/tocl/MichaliszynOK15澳大利亚-米查利辛，雅库布AU-奥托普，一月澳大利亚-基伦斯基，伊曼纽尔关于初等模态逻辑的可判定性。JO-ACM事务处理。计算。日志。VL-17IS-1标准SP-22015年上半年//做-10.1145/2817825UR-（欧元）https://doi.org/10.1145/2817825急诊室-