इसलिए, मोडल लॉजिक्स में मोडल ऑपरेटर जो कर रहे हैं, वह यह है कि वे कुछ मानक तर्क ले रहे हैं और हमारे मामले में प्रस्ताव तर्क है कि हम इसके बारे में बात कर रहे हैं और फिर मॉडल ऑपरेटर को लागू कर रहे हैं।