@InCollection{zbMATH05825964，作者={J{\“a}ger，Gerhard}，标题={模态定点逻辑}，BookTitle={可靠性和安全性的逻辑和语言。根据2009年8月4日至16日在德国Marktoberdorf第30届国际暑期学校的演讲选出的论文。}，国际标准图书编号={978-1-60750-099-5；978-1-60750-100-8}，页码={129--154}，年份={2010}，出版商={阿姆斯特丹：IOS出版社}，语言={英语}，DOI={10.3233/978-1-60750-100-8-129}，关键词={03B45,03B42,03B70,03F35,03F45}，zbMATH={5825964}，Zbl={1214.03016}}