@第{zbMATH06967460条，作者={Girard，Patrick和Triplett，Marcus A.}，标题＝{用于反事实推理的优先ceteris奇偶逻辑}，FJournal={综合}，期刊={综合}，ISSN={0039-7857}，体积={195}，数字＝｛4｝，页码={1681---1703}，年份={2018年}，语言={英语}，DOI={10.1007/s11229-016-1296-5}，关键词={03A05,03B42}，zbMATH={6967460}，Zbl={1398.03019}}