@第{zbMATH06290328条，作者={Po{\l}acik，Tomasz}，标题={直觉主义一阶{克里普克}模型的互模拟约简和子模型}，FJournal={逻辑部分公报}，Journal＝｛Bull.Sectit.Log.，Univ.{｛\L｝｝｝｛\o｝d｛\'z｝，Dep.Log.｝，ISSN={0138-0680}，体积={42}，数字={3-4}，页码={151--160}，年份={2013}，语言={英语}，关键词={03F55,03G30}，URL={www.filozof.uni.lodz.pl/bulletin/pdf/42_34_5.pdf}，zbMATH={6290328}，Zbl={1287.03108}}