@收款{zbMATH07439737，作者={Droste，Manfred and Rahonis，George}，标题={加权线性动态逻辑}，BookTitle={关于游戏、自动机、逻辑和形式验证的第七届国际研讨会论文集，甘道夫2016，卡塔尼亚，意大利，2016年9月14日至16日}，页码={149--163}，年份={2016年}，Publisher={滑铁卢：开放出版协会（OPA）}，语言={英语}，关键词={03B70,03D05,68Q45}，URL={eptcs.web.cse.unsw.edu.au/paper.cgi？GandALF2016.11}，zbMATH={7439737}，Zbl={1478.03065}}