@InCollection{zbMATH07084854，作者={Skvortsov，Dmitrij}，Title={关于具有常数域的有限高度{Kripke}框架的超直觉谓词逻辑的注记：一个更简单的{Krippe}完备逻辑，它是非强完备的}，BookTitle={模态逻辑的进展。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日}，国际标准图书编号={978-1-84890-255-8}，页码={577--590}，年份={2018年}，出版商={伦敦：学院出版物}，语言={英语}，关键词={03B55,03B20}，zbMATH={7084854}，Zbl={1418.03132}}