@第{zbMATH07835201条，作者＝｛Inou｛\ee｝，Takao和Hanaoka，Riku｝，标题={带模态算子的扩展框架中的直觉命题演算。{II}}，FJournal={形式化数学}，日志={Formaliz.Math.}，ISSN={1426-2630}，体积={30}，数字={1}，页码={1--12}，年份={2022}，语言={英语}，DOI={10.2478/forma-2022-0001}，关键词={68V20,03B20,03F03}，zbMATH=｛7835201｝}