modal logic

Türkçe: kipsel mantık

Açıklama: Modal mantık; olasılık ve zorunluluk içeren mantık