道德，德拉甘;约翰·格兰特;Ognjanović，佐兰 空间和时间中物体的概率逻辑。 （英语） Zbl 1267.03041号 J.日志。计算。 23，第3期，487-515（2013）. 摘要：时空数据库可用于有效存储和检索有关在空间和时间中移动的对象的信息。在位置未知的情况下，添加概率来建模。几年前，引入了一种新的形式主义，以原子公式的形式表示此类信息，每个公式都表示特定对象在特定时间处于特定位置的概率（以间隔的形式，因为甚至概率都不精确）。我们扩展了这一形式，通过添加逻辑运算符来获得几种不同的概率逻辑。此外，我们将这些逻辑公理化，提供相应的语义，证明这些公理化是合理和完整的，并讨论可判定性问题。虽然我们将这些逻辑与概率逻辑的先前公理化联系起来，但本文是自包含的：假设没有概率逻辑的先验知识。 引用于6文件 MSC公司： 03B70号 计算机科学中的逻辑 03B48号 概率和归纳逻辑 第68页，共15页 数据库理论 关键词：概率逻辑;时空推理;强完整性 软件：ProbView（探测视图） PDF格式BibTeX公司 XML格式引用 \textit{D.Doder}等人，J.Log。计算。23，第3号，487--515（2013；Zbl 1267.03041） 全文： 内政部