প্রশ্ন ট্যাগ «modal-logic»

1
তারস্কিয়ান ম্যাগলিচকেইটে কাগজপত্র এবং নিবন্ধগুলি সন্ধান করছেন
কিছু ব্যাকগ্রাউন্ড: ইউকাসিউইজিক বহু মূল্যবান লজিককে মডেল লজিক হিসাবে চিহ্নিত করা হয়েছিল, এবং ইউকাসিউইচজ মডেল অপারেটরের একটি এক্সটেনশনাল সংজ্ঞা দিয়েছিলেন : (যা তিনি তারস্কির সাথে দায়ী)।◊A=def¬ এ → এ◊A=ঘইচ¬একজন→একজন\Diamond A =_{def} \neg A \to A এটি একটি অদ্ভুত মডেল যুক্তি দেয়, কিছু প্যারাডোক্সিকাল সহ, আপাতদৃষ্টিতে অযৌক্তিক উপপাদ্য না থাকলে উল্লেখযোগ্যভাবে …

2
নীড়ের গভীরতার সাথে মডেল লজিক্স অক্সোমেটাইজড যা পিএসপেসিতে থাকার সম্ভাবনা নেই?
আমি মডেল লজিক্সের সন্ধান করছি, যা মডেল নেস্টিং গভীরতার একের একটি সীমাবদ্ধ সেট দ্বারা অক্ষরযুক্ত, এবং যার সন্তুষ্টি / ডাইরিবিলিটি সমস্যা PSPACE তে থাকার সম্ভাবনা কম। মডেল নেস্টিং গভীরতার উপর সীমাবদ্ধতা ছাড়াই এটি কোনও সমস্যা নয়, উদাহরণস্বরূপ পিডিএল দেখুন। তবে এটি মনে হয় যে টুরিং মেশিনগুলির জন্য একধরণের টাইলিং সমস্যা …
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.