@第{zbMATH05039045条，作者={Calardo，Erica}，标题={知识与时间的线性逻辑中可接受的推理规则{LTK}}，FJournal={IGPL的逻辑杂志}，日志={Log.J.IGPL}，ISSN={1367-0751}，体积={14}，数字={1}，页码={15--34}，年份={2006}，语言={英语}，DOI={10.1093/jigpal/jzk002}，关键词={03B42,03B44,03B25}，zbMATH={5039045}，Zbl={1102.03009}}