@第{zbMATH06146088条，作者={J{“a}ger，Gerhard和Studer，Thomas}，标题={模态不动点逻辑的{Buchholz}规则}，FJournal={Logica Universalis}，日志={Log.Univers.}，ISSN={1661-8297}，体积={5}，数字={1}，页码={1--19}，年份={2011}，语言={英语}，DOI={10.1007/s11787-010-0022-1}，关键词={03B45,03B44,03B70,03F03,03F05}，zbMATH={6146088}，Zbl={1278.03044}}