সিটিএল * এবং মিউ-ক্যালকুলাস

Question

এটা সর্বজনবিদিত যে মোডাল -calculus$\mu$ গাছ / গ্রাফ বৈশিষ্ট্য প্রকাশ করার জন্য সবচেয়ে ভাবপূর্ণ সময়গত ন্যায়শাস্ত্র এক, এবং যে সিটিএল * কঠোরভাবে কম ভাবপূর্ণ হয় -calculus।$\mu$

এখানে আমি ক্যালকুলাস সূত্রের একটি উদাহরণ জিজ্ঞাসা করতে চাই , এটি যতটা সম্ভব সহজ, এটি সিটিএল * তে প্রকাশযোগ্য নয় এবং আশা করা যায় এর অর্থের ব্যাখ্যা দেওয়ার জন্য (নির্দিষ্ট পয়েন্টের সূত্রগুলি দ্রুত অপঠনযোগ্য হয়ে উঠবে)। একটি "কংক্রিট" সাধারণ উদাহরণের জন্য কোনও ভাল রেফারেন্সও দুর্দান্ত হবে!$\mu$

তুমাকে অগ্রিম ধন্যবাদ

Answer 1

প্রথম দিকে প্রকাশযোগ্য নয় এমন একটি পাথ সম্পত্তি গ্রহণ করুন, যেমন যা বলে যে এখানে এমন একটি পথ রয়েছে যেখানে পারমাণবিক প্রস্তাব প্রতিটি রয়েছে এবং কোনও মূল্যায়ন বিজোড় অবস্থানের জন্য ব্যবহার করা যেতে পারে ।

$$\nu x.p\wedge\Diamond\Diamond x$$ $p$

Comments

এই সহজ উত্তরের জন্য অনেক ধন্যবাদ। আপনি কি এই উদাহরণটিকে সমর্থন করে একটি রেফারেন্সের পরামর্শ দিতে পারেন? আপনাকে আবারও ধন্যবাদ

— LORE81

দুর্দান্ত প্রশ্নোত্তর (+২)। Cstheory.stackexchange.com/q/16186/6424 এ দেখুন । আমি সেখানেও সান্নিধ্যের উদাহরণ দিয়েছি। সম্ভবত কিছু উত্তর এমনকি স্নেহ বোঝায়।

— ডেভবাল ওরফে ব্যবহারকারী 750378

@ লোর ৮৮১: even even পয়েন্ট অব ইক পজিশন '' উদাহরণটি একটি ক্লাসিক, যা উদাহরণস্বরূপ ওলপার তাঁর প্রশ্নে @ ডেভবাল দ্বারা নির্দেশিত কাগজে খুঁজে পেতে পারেন। এলটিএল সূত্রে সরাসরি অন্তর্ভুক্ত করে প্রমাণ করা খুব কঠিন নয়; বিকল্পভাবে, আপনি স্থানান্তর মনোয়েড তৈরি করতে পারেন এবং দেখতে পারেন যে এটি অ্যাপিওরিডিক নয়; অবশেষে আপনি একটি এহরনফুচ্ট-ফ্রেসেস আর্গুমেন্ট চেষ্টা করতে পারেন, যদিও এটি পুরো বিশদে বিশদ বানান দীর্ঘ long $p$

— সিলভাইন