modal logic أمثلة على

• His work has profoundly influenced analytic philosophy; his principal contribution is a semantics for modal logic involving possible worlds, now called Kripke semantics.
  ترك عمله أثرًا عميقًا في الفلسفة التحليلية، وإسهامه الرئيسي كان دلالات منطق الموجهات، بما في ذلك العالم الممكن كما هو موضح في نظام يسمى الآن دلالات كريبك.