我们研究了模型检查问题的复杂性传递Kripke模型上的直觉命题逻辑和模态命题逻辑。更具体地说，我们考虑直觉逻辑IPC，即基本命题逻辑BPL、形式命题逻辑FPL和扬科夫逻辑KC。我们证明了对于所有的关联片段，模型检查问题都是P-完全的这些直觉主义逻辑。对于BPL和FPL，即使在只有一个变量的关联片段。相同的硬度结果为从它们的模态同伴的严格关联片段中获得。此外，我们还研究了具有较少变量和附加变量的公式连接词使模型检查更容易。而对于无变量公式在关联片段之外，FPL模型检查显示为LOGCFL，BPL的问题仍然是P-complete。