इसलिए, उदाहरण के लिए, आप उस निदान में कह सकते हैं कि यह संभव है कि उसके पास अनिवार्य रूप से मलेरिया हो और इन लॉजिक्स जिन्हें मोडल लॉजिक्स कहा जाता है 1 अनिवार्य रूप से इस तरह के बयानों के बारे में बात करने की अनुमति देता है।