کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
1161627 | 1490460 | 2007 | 9 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Modal and temporal logics for abstract space-time structures
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
فیزیک و نجوم
فیزیک و نجوم (عمومی)
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
In the fourth century BC, the Greek philosopher Diodoros Chronos gave a temporal definition of necessity. Because it connects modality and temporality, this definition is of interest to philosophers working within branching time or branching space-time models. This definition of necessity can be formalized and treated within a logical framework. We give a survey of the several known modal and temporal logics of abstract space-time structures based on the real numbers and the integers, considering three different accessibility relations between spatio-temporal points.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics - Volume 38, Issue 3, September 2007, Pages 673-681
Journal: Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics - Volume 38, Issue 3, September 2007, Pages 673-681
نویسندگان
Sara L. Uckelman, Joel Uckelman,