罗伯特·福伯;拉杜·马达尔;Mio、Matteo 基于Riesz空间的概率逻辑。 （英语） Zbl 1442.03010号 日志。方法计算。科学。 16，第1号，第6号论文，45页（2020年）.MSC公司：03B45号 03B48号 03B70号 20层06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Furber}等人，日志。方法计算。科学。16，第1号，第6号论文，45页（2020；Zbl 1442.03010） 全文： arXiv公司
卢卡·卡德利;Larsen，Kim G。;拉杜·马达尔 模块化马尔科夫逻辑。 （英语） Zbl 1333.68200号 Aceto，Luca（编辑）等人，《自动化，语言和编程》。第38届国际学术讨论会，ICALP 2011，瑞士苏黎世，2011年7月4日至8日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756380-391（2011）。MSC公司：87年第68季度 03B70号 60J25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。注释计算。科学。6756380-391（2011年；Zbl 1333.68200） 全文： 内政部