@收款{zbMATH06863853，作者={Carreiro，Facundo and Venema，Yde}，{{\（\mu\）}}-演算中的Title={{PDL}：语法和自动机理论表征}，BookTitle={模态逻辑进展。第10卷。第十届会议记录（AiML 2014），荷兰格罗宁根，2014年8月5-8日}，国际标准图书编号={978-1-84890-151-3}，Pages={74-93}，年份={2014}，出版商＝{伦敦：大学出版社}，语言={英语}，关键词={03B70,03B45,68Q45}，zbMATH={6863853}，Zbl={1385.03035}}