Back Kripke semantics English Sémantique de Kripke French クリプキ・モデル Japanese Semânticas de Kripke Portuguese Семантика Крипке Russian Семантика Кріпке Ukrainian 关系语义 Chinese
Een Kripkemodel is een model voor modale logica's en andere niet-klassieke logica's zoals de intuïtionistische logica. Kripkemodellen danken hun naam aan hun uitvinder, Saul Kripke. Ze formaliseren het idee van meerdere mogelijke werelden.