منطق وجهی دینامیک

پایان نامه
چکیده

در این پایان نامه به یک منطق وجهی و دوگان آنها که شامل ‎4 وجه دینامیکی لزوم در همه ی وضعیت ها و ‎ لزوم بعضی وضعیت ها و دوگان آنها ‎ ممکن در همه وضعیت ها و ‎ ممکن در بعضی وضعیت ها پرداخته می شود. ما یک اصل بندی کامل با رعایت اصول و قواعد معناشناسی ارائه می دهیم و قضیه ی تمامیت و همچنین تصمیم پذیری به وسیله ی خاصیت مدل متناهی را برای این منطق اثبات می نماییم.

منابع مشابه

منطق وجهی برای توپولوژی

منطق وجهی به عنوان یک زبان برای بحث در مورد فضاهای توپولوژیک، حدود 60 سال سابقه دارد. در اصل انگیزه های اولیه این تحقیق و مطالعه صرفاً ریاضی بوده است ولی اخیراً کاربردهای علم کامپیوتر نیز دلایل دیگری به آن افزوده است. از مهمترین موضوعات در منطق وجهی گسترش زبان های وجهی و مطالعه قدرت بیان آنها می باشد. مراجع [1و2و3و4] در بردارنده بخشی ازاین تلاشها می باشد. در چشم انداز زبانهای فضایی زبان های وجه...

15 صفحه اول

معناشناسی اندازه بنیاد برای منطق وجهی

در این پایان نامه ارتباطی بین معناشناسی اندازه بنیاد دانا اسکات برای منطق وجهی s4 و منطق توپولوژیک دینامیک، برقرار خواهد شد. منطق s4c در سیستم های توپولوژیک دینامیک یا فضاهای توپولوژیک با تابع پیوسته روی فضای مورد نظر، تعبیر می شود. دانا اسکات زبان منطق s4 را در جبر اندازه لبگ یا سیکما جبر زیرمجموعه ی بورل [0,1] به پیمانه مجموعه هایی با اندازه ی صفر، که در آن مربع- وجه با عملگر درون روی جبر ا...

منطق وجهی کلاسیک مرتبه اول

در این پایان نامه سیستم های کلاسیک مرتبه اول با استفاده از مدل های همسایگی مرتبه اول بررسی خواهند شد. در این مدل ها قالب های اصل موضوعی بارکان و عکس آن بر خلاف مدل های کریپکی همیشه معتبر نیستند. در فصل یک ابتدا منطق وجهی گزاره ای و معناشناسی همسایگی را به عنوان مطالب مقدماتی بررسی کرده و تعدادی از قضایای پایه ای در این زمینه را بیان می کنیم. در فصل دو معناشناسی کریپکی برای منطق وجهی مرتبه او...

15 صفحه اول

شک‌گرایی وجهی ون اینواگن و گسترۀ معرفت وجهی

یک ایدۀ بسیار معروف در معرفت‌شناسی امکان این است که تخیل‌پذیری یک گزاره، راهنمای خوبی برای امکان آن است. یبلو (1993) مدلی برای توجیه باورهای وجهی ارائه کرده است که بنابر آن تخیل­پذیری یک گزاره، شاهدی بر امکان آن است. ون اینواگن (1998) بر این باور است که هر کسی که مدل یبلو را بپذیرد باید موضع او، شک گراییِ وجهی را بپذیرد. ون اینواگن برای اینکه برای موضع خود استدلال کند، وضعیت وجهی گزارة «آهن شفاف...

متن کامل

تصور، امکان مفهومی و معرفت وجهی؛ نقدی به مدل ایچیکاوا و جارویس برای کسب معرفت وجهی

در این مقاله مدل پیشنهادی ایچیکاوا و جارویس (2011) برای تبیین کسب معرفت وجهی (یا امکان کسب چنین معرفتی) با استفاده از تصور را بررسی کرده­ام. ایچیکاوا و جارویس پس از تعریفِ مفهوم «تصور منسجم» ادعا می­کنند که با تصور منسجم، گرچه به امکان متافیزیکی نمی­رسیم اما به نوع دیگری از امکان، یعنی امکان مفهومی دست می­یابیم. ایشان در توضیح این­که چه گزاره­ای ممکن مفهومی است از انگاره «استلزام مفهومی» استفاده...

متن کامل

کنترل دینامیک عرضی خودرو با استفاده از منطق فازی

از دهه های گذشته به دلیل اشتباهات انسانی در رانندگی و افزایش سرعت وسائل نقلیه، لزوم به کارگیری سیستم های ایمنی در خودروهای سواری مطرح گردیده است. سیستم های ایمنی موجود در خودرو را می توان به دو نوع سیستم های ایمنی غیرفعال و سیستم های ایمنی فعال تقسیم کرد. سیستم های کنترل فعال دینامیک خودرو به منظور بهبود ایمنی ، عملکرد و آسایش سرنشین طراحی می شوند. از جمله سیستم های ایمنی فعال می توان به سیستم ...

15 صفحه اول

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی

کلمات کلیدی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023