约拉姆·赫什菲尔德；亚历山大·拉比诺维奇 实时逻辑：可决策性和复杂性。 （英语） Zbl 1127.03012号 芬丹。通知。 62，第1期，1-28页（2004年）. 本文总结了作者正在进行的一系列工作。它涉及在计算属性或以密集或连续方式而非离散方式发生的计算组合的应用背景下，时序逻辑和一元逻辑中的度量时序推理。作者调查了以前的工作，这些工作主要是基于对这种计算施加离散模型，因此允许应用基于自动机的推理技术。然而，这种“有限可变性”约束导致了各种混乱的逻辑。本文在可判定性和复杂性结果的支持下，提出了一个强有力的理由，即回归到更自然的实数时间流，作为度量时间推理的基础。它包含一个适当的简单但有表现力和可判定的度量时态逻辑的建议。这里的论点值得采纳。这篇论文的主要缺陷是拼写错误。审核人：马克·雷诺兹（MR2086893（2005f:68084）） 引用于1审查引用于23文件 MSC公司： 03B44号 时间逻辑 03B25号 理论和句子集的可决定性 03B70号 计算机科学中的逻辑 65年第68季度 算法和问题复杂性分析 60年第68季度 规范和验证（程序逻辑、模型检查等） PDF格式BibTeX公司 XML格式引用 \textit{Y.Hirshfeld}和\textit{A.Rabinovich}，Fundam。通知。62，第1号，1--28（2004；Zbl 1127.03012）