吉诺里·塔纳贝;高桥，Koichi;Masami Hagiya 无交互模式计算的决策过程。 （英语） Zbl 1244.03074号 Areces，Carlos（编辑）等人，《模态逻辑的进展》。第7卷。第七届会议记录（AiML 2008），法国南希，2008年9月9日至12日。伦敦：学院出版物（ISBN 978-1-904987-68-0/pbk）。341-362 (2008). 摘要：命题模态演算（mu）-演算（text{（AF}mu））的无交互片段允许比完整演算更简单的可满足性判断决策过程，但它仍然具有强大的表达能力。在本文中，我们提出了一个具体的决策过程，其复杂性通过名词、后向模态和功能模态的特征来丰富\（\text{AF}\mu\）。虽然具有所有三个特征的\（\text{AF}\mu\）是不可判定的，但具有三个特征中的两个特征的\\text{AF}\ mu\是可以判定的，并且对于这些组合来说，过程是合理和完整的。该程序适用于BDD的实施。文中还介绍了决策程序在程序分析中的应用。关于整个系列，请参见[Zbl 1200.03008号]. 引用于1文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03B70号 计算机科学中的逻辑 关键词：模态\（\mu\）-演算;可满足性;决策程序 PDF格式BibTeX公司 XML格式引用 \textit{Y.Tanabe}等人，in：模态逻辑的进展。第7卷。第七届会议记录（AiML 2008），法国南希，2008年9月9-12日。伦敦：学院出版物。341-362（2008；Zbl 1244.03074）