@第{zbMATH06182023条，作者={Doder、Dragan和Grant、John和Ognjanovi、Zoran}，标题={位于空间和时间中的对象的概率逻辑}，FJournal={逻辑与计算杂志}，日志={J.Log.Comput.}，ISSN={0955-792X}，体积＝{23}，数字={3}，页码={487--515}，年份={2013}，语言={英语}，DOI={10.1093/logcom/exs054}，关键词={03B70,03B48,68P15}，zbMATH={6182023}，Zbl={1267.03041}}