ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Modal Correspondence Theory [PhD Thesis]

دانلود کتاب نظریه نامه نویسی مدال [پایان نامه دکتری]

Modal Correspondence Theory [PhD Thesis]

مشخصات کتاب

Modal Correspondence Theory [PhD Thesis]

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری:  
 
ناشر: Universiteit van Amsterdam 
سال نشر: 1976 
تعداد صفحات: 159 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 50,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 13


در صورت تبدیل فایل کتاب Modal Correspondence Theory [PhD Thesis] به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نظریه نامه نویسی مدال [پایان نامه دکتری] نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب نظریه نامه نویسی مدال [پایان نامه دکتری]

این پایان نامه دکتری یوهان ون بنتم است که زیر نظر پروفسور پروفسور انجام شده است. دکتر M.H.Löb در سال 1976. این یکی از پایان نامه های برجسته در منطق مد است. بعدها، J. van Benthem کتابی به نام "منطق مدال و منطق کلاسیک" نوشت که بر اساس این پایان نامه است (و به طور قابل توجهی گسترش می دهد).


توضیحاتی درمورد کتاب به خارجی

This is a doctoral dissertation of Johan van Benthem accomplished under the supervision of prof. Dr. M.H.Löb in 1976. This is one of the outstanding dissertations in modal logic. Later, J. van Benthem wrote a book "Modal Logic and Classical Logic", which is based on (and significantly extends) this dissertation.



فهرست مطالب

Cover ......Page 1
Acknowledgements ......Page 4
Table of contents ......Page 5
1. Introduction ......Page 6
2. Preliminary notions and results ......Page 20
3. An algebraic characterization of $overline{M}1$ ......Page 36
4. Syntactic results on M1 ......Page 46
5. Relative correspondence ......Page 72
6. Modal definability ......Page 80
References ......Page 116
1. A note on modal formulae and relational properties ......Page 120
1. Introduction ......Page 126
2. Preliminaries ......Page 127
3. MRPs on transitive frames ......Page 129
4. MRPs on frames with successors ......Page 133
5. MRPs on arbitrary frames ......Page 139
6. Some uses of MRPs ......Page 144
References ......Page 146
3. Modal formulas are either elementary or not $SigmaDelta$-elementary ......Page 148
Summary ......Page 152
Samenvatting ......Page 153
Stellingen behorend bij het proefschrift \"Modal Correspondence Theory\" van J.F.A.K. van Benthem ......Page 154




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی