@第{zbMATH07124804条，作者={Klaudel、Hanna和Koutny、Maciej和Duan、振华和Moszkowski、Ben}，标题={从盒代数到区间时序逻辑}，FJournal={Fundamental Informaticae}，日志={Fundam.Inform.}，ISSN={0169-2968}，体积＝{167}，数字={4}，页码={323--354}，年份={2019}，语言={英语}，DOI={10.3233/FI-2019-1820}，关键词={68Q85,03B44}，zbMATH={7124804}，Zbl={1423.68312}}