@收款{zbMATH07162573，作者={Yamasaki，Sakiko and Sano，Katsuhiko}，Title={严格蕴涵逻辑扩展到模态逻辑的构造嵌入}，BookTitle={非经典逻辑的结构分析。第二届台湾哲学逻辑学术研讨会论文集，TPLC 2014，台北，2014年10月24日至25日}，国际标准图书编号={978-3-662-48356-5；978-3-562-48357-2}，页码={223--251}，年份={2016年}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-662-48357-2_11}，关键词={03B45,03B20,03F05}，zbMATH={7162573}，Zbl={1429.03087}}