@收款{zbMATH07084852，作者={夏皮罗夫斯基，伊利亚}，Title={对{Kripke}帧}和的Truth-preserving操作，BookTitle={模态逻辑的进展。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日}，国际标准图书编号={978-1-84890-255-8}，页码={541--558}，年份={2018年}，出版商={伦敦：学院出版物}，语言={英语}，关键词={03B45,03F45}，zbMATH={7084852}，Zbl={1418.03101}}