अंतर जानने के लिए, मैं सिर्फ में लौकिक तर्क के बारे में नीचे वक्तव्य दिये का सामना करना पड़ा था विकिपीडिया :
गतिशील तर्क के साथ कई सामान्य विशेषताओं को साझा करने वाले मोडल लॉजिक का एक और प्रकार, उपर्युक्त सभी लॉजिक्स से भिन्न होता है, जिसे पुनेली ने "अंतर्जात" तर्क के रूप में चित्रित किया है, अन्य को "बहिर्जात" लॉजिक माना जाता है। इसके द्वारा पन्नेली का अर्थ था कि लौकिक तर्क के सिद्धांतों की व्याख्या एक सार्वभौमिक व्यवहारिक ढांचे के भीतर की जाती है जिसमें एक एकल वैश्विक स्थिति समय बीतने के साथ बदल जाती है, जबकि दूसरे लॉगिक्स के अभिकथन बाहरी क्रियाओं के लिए किए जाते हैं जिनके बारे में वे बोलते हैं। अंतर्जात दृष्टिकोण का लाभ यह है कि समय के साथ पर्यावरण में परिवर्तन के कारण क्या होता है, इसके बारे में कोई मौलिक धारणा नहीं है। इसके बजाय एक लौकिक तर्क सूत्र एक प्रणाली के दो असंबंधित भागों के बारे में बात कर सकता है, जो कि क्योंकि वे असंबंधित tacitly समानांतर में विकसित होते हैं। वास्तव में लौकिक अभिकथनों की साधारण तार्किक परिणति लौकिक तर्क का समवर्ती रचना संचालक है। समसामयिकता के लिए इस दृष्टिकोण की सादगी के परिणामस्वरूप सामयिक तर्क के समकालिक तर्क, हस्तक्षेप, स्वतंत्रता, गतिरोध, लाइवलॉक, निष्पक्षता, आदि के साथ समवर्ती प्रणालियों के बारे में तर्क के लिए तार्किक तर्क का परिणाम है।
मैं अंतर महसूस नहीं कर सका, काफी। क्या डायनेमिक लॉजिक हर बार-संचालित पहलू को तर्कों के साथ-साथ लौकिक लॉजिक में शामिल नहीं कर सकता है?
या समवर्ती प्रणालियों को संभालने के लिए गतिशील क्यों नहीं माना जाता है?
क्या आप कृपया मामले को स्पष्ट करेंगे?