@第{zbMATH05529386条，作者={Studer，Thomas}，Title={关于模态微积分的证明理论}，FJournal={Studia Logica}，日志={Stud.Log.}，ISSN={0039-3215}，体积={89}，数字＝｛3｝，页码={343--363}，年份={2008}，语言={英语}，DOI={10.1007/s11225-008-9133-6}，关键词={03B45,03F25,03B70}，URL={boris.unibe.ch/37094/1/stu08.pdf}，zbMATH={5529386}，Zbl={1163.03014}}