提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/fsttcs/KieronskiMO11澳大利亚-基伦斯基，伊曼纽尔澳大利亚-米查利辛，雅库布AU-奥托普，一月TI-可由通用三变量公式定义的模态逻辑。BT-IARCS软件技术和理论计算机科学基础年会，FSTTCS 2011，2011年12月12-14日，印度孟买SP-264标准EP-2752011年上半年//DO-10.4230/LIPICS。FSTTCS.2011.264版UR-（欧元）https://doi.org/10.4230/LIPIcs.FSTTCS.2011.264急诊室-