大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;皮埃特罗·萨拉 稠密序上子区间结构的逻辑表。 (英语) Zbl 1188.03009号 J.日志。计算。 20,第1期,133-166(2010). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B35型 03B25号 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,J.Log。计算。20,编号1,133--166(2010;Zbl 1188.03009) 全文: 内政部
安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 将Kamp定理扩展到时间粒度模型。 (英语) Zbl 1006.03015号 J.日志。计算。 12,第4期,641-677(2002). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人,J.Log。计算。12,第4号,641--677(2002;Zbl 1006.03015) 全文: 内政部
约翰·范·本特姆;乔瓦娜·达戈斯蒂诺;安吉洛·蒙塔纳里;阿尔贝托,Policriti 二阶逻辑和集合论中的模态演绎。一、。 (英语) Zbl 0873.03021号 J.日志。计算。 7,第2期,251-265(1997).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}等人,J.Log。计算。7,第2号,251--265(1997;Zbl 0873.03021) 全文: 内政部