罗伯特·S·斯特雷特。 循环和逆命题的动态逻辑基本上是可判定的。 (英语) Zbl 0515.68062号 Inf.控制 54, 121-141 (1982). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于三评论引用于55文件 MSC公司: 65年第68季度 形式语言和自动机 03B99号 一般逻辑 关键词:可满足性问题;命题动态逻辑;基本可判定;无限棵树;确定性双向自动机 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Streett},信息控制54,121--141(1982;Zbl 0515.68062) 全文: 内政部