1086 पेपर
यह शोध पत्र तीन स्वाभाविक नेबरहुड फलनों को प्रस्तुत करके और उन्हें प्रदर्शित करके T या D को मान्य करने वाले पूर्ण उत्पादों के नेबरहुड फ्रेमों के त्रि-आयामी (tri-modal) लॉजिक्स को परिभाषित और स्वयंसिद्ध करता है, और यह दर्शाता है कि ये लॉजिक्स (mix) नामक एक विशिष्ट इंटरेक्शन सिद्धांत द्वारा संवर्धित आधारभूत लॉजिक के तीन प्रतियों के फ्यूजन के समतुल्य हैं।
यह शोध पत्र iEx-लॉजिक को प्रस्तुत और स्वयंसिद्ध करता है, जो एक रचनात्मक क्वांटम लॉजिक है जो सासाकी हुक (Sasaki hook) के माध्यम से सहज बोधपरक (intuitionistic) और ऑर्थोमॉड्यूलर (orthomodular) लॉजिक्स को संयोजित करता है, इसके विस्तारों को मध्यवर्ती और ऑर्थोमॉड्यूलर लॉजिक लैटिस के उत्पाद के रूप में अभिलक्षणित करता है और मोडल विस्तारों का अन्वेषण करता है।
यह शोध पत्र रिज़ॉल्विंग डिस्ट्रीब्यूटेड नॉलेज (Resolving Distributed Knowledge) के एक नवीन एसिंक्रोनस सामान्यीकरण को प्रस्तुत करता है, जो एक इतिहास-आधारित अर्थविज्ञान (history-based semantics) का उपयोग करता है जहाँ एजेंटों के पास पिछले समाधानों का सीमित अवलोकन होता है, ताकि उन वितरित कंप्यूटिंग परिदृश्यों को बेहतर ढंग से मॉडल किया जा सके जहाँ एजेंट उन अंतःक्रियाओं से अनभिज्ञ होते हैं जिनमें वे शामिल नहीं होते हैं।
यह शोध पत्र एक नए तर्क (लॉजिक) को प्रस्तुत और स्वयंसिद्ध करता है जो एजेंटों के चर मानों (variable values) के सशर्त गैर-प्रस्तावात्मक ज्ञान और संभावनाओं को सीमित करने की उनकी क्षमता को मॉडल करने के लिए डायनेमिक एपिस्टेमिक लॉजिक का विस्तार करता है, साथ ही हैकिंग और सार्वजनिक साझाकरण जैसी जटिल डेटा-विनिमय घटनाओं के लिए डायनेमिक मोडैलिटीज को भी शामिल करता है, और अंततः सिस्टम की निर्णयक्षमता (decidability) और सह-अभिव्यक्तिता (co-expressivity) को सिद्ध करता है।
यह शोध पत्र चार प्रस्तावात्मक टीम लॉजिक (जिसमें बेसिक इनक्विज़िटिव लॉजिक और प्रस्तावात्मक इंट्यूशनिस्टिक डिपेंडेंस लॉजिक शामिल हैं) के साथ-साथ उनके टेंसर डिसजंक्शन एक्सटेंशन के लिए स्वीकार्य संरचनात्मक नियमों और समाप्त होने वाली प्रूफ़ सर्च प्रक्रियाओं वाले सुदृढ़ और पूर्ण लेबल वाले सीक्वेंट कैलकुली प्रस्तुत करता है।
यह शोध पत्र मानक क्रिपके मॉडलों (Kripke models) पर सीधे परिभाषित एक नई तंत्र पद्धति को पेश करके विश्वास संकुचन (belief contraction) के मौजूदा गतिशील ज्ञानिक तर्क (dynamic epistemic logic) दृष्टिकोणों की सीमाओं को संबोधित करता है, जो हेज्ड घोषणाओं (hedged announcements) और निजी घटनाओं जैसे जटिल परिदृश्यों को समाहित करता है, साथ ही विशिष्ट और सामान्य दोनों तर्कों के लिए एक सुसंगत और पूर्ण अभिलेखन (axiomatization) प्रदान करता है।
यह शोध पत्र डायनेमिकल सिस्टम्स और पॉइंट-फ्री एर्गोडिक थ्योरी में माप-सिद्धांत संबंधी अनुप्रयोगों के लिए विशेष रूप से तैयार किए गए इन्फिनिटरी क्लासिकल लॉजिक के एक मोडल विस्तार के रूप में मोडल मेज़रेबल लॉजिक्स को प्रस्तुत करता है, और एक मोडल विस्तार वाले लूमिस-सिकोर्स्की प्रमेय तथा प्रतिबंधित जोन्सन-टारस्की द्वैत का लाभ उठाते हुए मापने योग्य स्थानों (मेज़रेबल स्पेस) पर एक नए क्रिप्के-समान सिमेंटिक्स के संबंध में उनकी पूर्णता स्थापित करता है।
यह शोध पत्र यह प्रदर्शित करता है कि अधिकांश गुण, जिनमें क्रिप्की पूर्णता (Kripke completeness), परिमित मॉडल गुण (finite model property) और निर्णयक्षमता (decidability) शामिल हैं, ट्रांजिटिव टेंस लॉजिक्स (transitive tense logics) के लिए अनिर्णायक हैं, जो इन गुणों के निर्णय समस्या के लिए मिन्स्की मशीन (Minsky machine) की अनिर्णायक समस्या को कम करने के लिए चाग्रोव (Chagrov) की विधि को अनुकूलित करके किया गया है।
यह शोध पत्र मार्कोव प्रक्रियाओं पर व्याख्यायित प्रायिकता तर्क (प्रोबेबिलिटी लॉजिक) के लिए गोल्डब्लैट-थॉमसन प्रमेय को स्थापित करता है, जो हर्षानी प्रकार के स्थानों (हर्षानी टाइप स्पेस) को परिभाषित करने में इसकी उपयोगिता और इन संरचनाओं के विशिष्ट उपवर्गों के लिए इसके वेरिएंट प्रदान करने का प्रदर्शन करता है।
यह शोधपत्र 'इनक्विजिटिव एक्शन लॉजिक' (InqAL) प्रस्तुत करता है, जो एक मल्टी-एजेंट मोडल फ्रेमवर्क है जो प्रश्नों के माध्यम से एजेंटिव निर्धारण को मॉडल करके पारंपरिक एक्शन लॉजिक्स का विस्तार करता है, और एक एक्सियोमैटाइजेशन, पूर्णता, निर्णय क्षमता, तथा नेबरहुड फ्रेम्स को कंकरेंट गेम स्ट्रक्चर्स से जोड़ने वाले एक रिप्रेजेंटेशन थ्योरम के माध्यम से इसके सैद्धांतिक आधार स्थापित करता है।