古拉姆·贝扎尼什维利;Bezhanishvili，尼克;吉姆·德·格罗特 邻域框架二重性的联合方法。 （英语） Zbl 07577568号 日志。方法计算。科学。 18，第3号，第4号论文，39页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人，日志。方法计算。科学。18，第3号，第4号文件，第39页（2022；兹bl 07577568） 全文： arXiv公司 链接
克里斯托夫·卢卡斯;米奥，马特奥 Riesz空间和模态Riesz空的证明理论。 （英语） Zbl 07566045号 日志。方法计算。科学。 18，第1号，第32号论文，64页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Lucas}和\textit{M.Mio}，日志。方法计算。科学。18，第1号，第32号论文，64页（2022；Zbl 07566045） 全文： arXiv公司 链接
梅·盖尔克;汤姆·亚什·雅克;卢卡·雷吉奥 有限结构极限的对偶理论观点。 （英语） Zbl 07471705号 日志。方法计算。科学。 18，第1号，第16号论文，38页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Gehrke}等人，日志。方法计算。科学。18，第1号，第16号论文，38页（2022；Zbl 07471705） 全文： arXiv公司 链接
罗伯特·福伯;拉杜·马达尔;米奥，马特奥 基于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公司
内博伊沙·伊科迪诺维奇;佐兰·奥格尼亚诺维奇;阿列克桑达尔·佩罗维奇;米奥德拉，拉舍科维奇 可加概率语义的完备性定理。 （英语） Zbl 1452.03064号 Ann.纯粹应用。逻辑 171，第4期，文章ID 102755，27页（2020年）. 审核人：吉尔根·兰德斯（慕尼黑） MSC公司：03B48号 03B42号 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{N.Ikodinović}等人，Ann.Pure Appl。逻辑171，第4号，文章ID 102755，27页（2020；Zbl 1452.03064） 全文： 内政部
米克尔·汉森;金·古德斯特兰·拉森;拉杜·马达尔;马蒂亚斯·拉加德·佩德森 关于加权转移系统中边界的推理。 （英语） Zbl 1528.68253号 日志。方法计算。科学。 14，第4号，第19号论文，32页（2018年）.MSC公司：68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hansen}等人，《日志》。方法计算。科学。14，第4号，第19号论文，32页（2018；Zbl 1528.68253） 全文： 内政部 arXiv公司
弗雷德里克·达尔奎斯特;文森特·达诺斯;伊利亚斯·加尼尔 Giry和机器。 （英语） Zbl 1395.54012号 Birkedal，Lars（编辑），第32届编程语义数学基础会议论文集（MFPS XXXII），卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国，2016年5月23日至26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记325，85-110（2016）。MSC公司：54B30型 03E15年 18立方厘米 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{F.Dahlqvist}等人，《电子》。注释Theor。计算。科学。325、85——110（2016；Zbl 1395.54012） 全文： 内政部
Larsen，Kim G。;拉杜·马达尔;薛炳添 无交替加权μ演算：可判定性和完备性。 （英语） Zbl 1351.68164号 Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319289-313，仅电子版（2015）。MSC公司：60年第68季度 03B45号 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，《电子》。注释Theor。计算。科学。319289-313（2015；Zbl 1351.68164） 全文： 内政部
Larsen，Kim G。;拉杜·马达尔;薛炳添 并发加权逻辑。 （英语） Zbl 1330.68210号 J.日志。阿尔盖布。方法计划。 84，编号6，884-897（2015）.MSC公司：68问题85 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人，J.Log。阿尔盖布。方法程序。84，第6号，884--897（2015；Zbl 1330.68210） 全文： 内政部
乔特·伯格菲尔德。;Kohei的Kishida;约书亚·萨克;钟，沈阳 量子行为逻辑的二重性。 （英语） Zbl 1361.06005号 螺柱日志。 103，第4期，781-805（2015）. 审核人：约瑟夫·特卡德莱克（普拉哈） MSC公司：06年50月 03G12号机组 81页第10页 18B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Bergfeld}等人，研究日志。103，第4号，781--805（2015；Zbl 1361.06005） 全文： 内政部
德克斯特·科赞;拉杜·马达尔;帕南加登，普拉卡什 马尔可夫过程的度量对偶定理。 （英语） 兹比尔1337.68186 Jacobs，Bart（编辑）等人，《第30届编程语义数学基础会议论文集》（MFPS XXX），美国纽约州伊萨卡，2014年6月12日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308211-227，仅电子版（2014）。MSC公司：68问题85 03B45号 03G25号 60J25型 87年第68季度 68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen}等人，《电子》。注释Theor。计算。科学。308211--227（2014；Zbl 1337.68186） 全文： 内政部
萨米·贾兹里;Larsen，Kim G。;拉杜·马达尔;薛炳添 时间模态逻辑的充分性和完全公理化。 （英语） 兹比尔1337.03028 Jacobs，Bart（编辑）等人，《第30届编程语义数学基础会议论文集》（MFPS XXX），美国纽约州伊萨卡，2014年6月12日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308183-210，仅电子版（2014）。MSC公司：03B45号 03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Jaziri}等人，《电子》。注释Theor。计算。科学。308183-210（2014年；Zbl 1337.03028） 全文： 内政部
罗伯特·戈德布拉特 可数亨金原理。 （英语） 兹比尔1347.03063 Manzano，María（编辑）等人，Leon Henkin的生活和工作。关于他的贡献的论文。查姆：Birkhäuser/Springer（ISBN 978-3-319-09718-3/pbk；978-3-3169-09719-0/ebook）。《通用逻辑研究》，179-201（2014）。MSC公司：03C07号机组 03英镑05 03B45号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt}，摘自：莱昂·汉金的生活和工作。关于他的贡献的论文。查姆：Birkhäuser/Springer。179-201（2014；Zbl 1347.03063） 全文： 内政部
Larsen，Kim G。;拉杜·马达尔 加权模态逻辑的完整证明系统。 （英语） Zbl 1317.68120号 西奥。计算。科学。 546, 164-175 (2014). 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：60年第68季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{R.Mardare}，Theor。计算。科学。546164--175（2014年；Zbl 1317.68120） 全文： 内政部