@第{zbMATH07167737条，作者=｛Balbiani、Philippe和Boudou、Joseph和Di｛'e｝guez、Mart｛'｛i｝n和Fern｛'a ndez Duque、David｝，标题={直觉主义线性时序逻辑}，FJournal={ACM计算逻辑事务}，日志={ACM Trans.Comput.Log.}，ISSN={1529-3785}，体积＝{21}，数字={2}，页码={32}，注={Id/No 14}，年份={2020年}，语言={英语}，DOI={10.1145/3365833}，关键词={03B44.03B20,03B47,03B25}，URL={oatao.univ-toulouse.fr/26276/1/balbiani_26276.pdf}，zbMATH={7167737}，Zbl={1433.03047}}