Çağdaş mantıkta kipli önermelerin yorumlanması konusunda en önemli adım
Saul Kripke’nin olanaklı dünya semantiğini geliştirmesidir (Kripke, 1959). Kripke
semantiği ile kiplerin kolayca kavranan bir formel yorumlamaya kavuşmaları kipli mantık sistemlerine özellikle çözümlemeli felsefe ve kuramsal bilgisayar bilimi alanlarında yaygın olarak başvurulmasını sağlamıştır.