| 書目名稱 | Temporal Logic | | 編輯 | Nicholas Rescher,Alasdair Urquhart | | 視頻video | http://file.papertrans.cn/903/902960/902960.mp4 | | 叢書名稱 | LEP Library of Exact Philosophy | | 圖書封面 |  | | 描述 | This book is an introduction to temporal logic, a now flourishing branch of philosophical logic whose origin is of recent date, its main impetus having been provided by the publication in the late 1950s of A. N. PRIOR‘S pioneering book, Time and Modality (Oxford, The Clarendon Press, 1957). Virtually all work in the field to around 1966 is surveyed in PRIOR‘S elegant treatise Past, Present and Future (Oxford, The Clarendon Press, 1967). In consequence, it is no simple matter to write a comprehensive book on the subject with- out merely rehearsing material already dealt with in PRIOR‘S works. We believe, however, that the present book succeeds in this difficult endeavor because it approaches established materials from wholly novel points of departure, and is thus able to attain new perspectives and achieve new results. Its introductory character notwithstanding, the present work is consequently in substantial measure devoted to an exposition of new findings and a demonstration of new results. Parts of the book have been published previously. Chapter II is a modified version of an article of the same title by N. RESCHER and JAMES GARSON in The Journal of Symbolic Logic (vol. 33 [1968 | | 出版日期 | Book 1971 | | 關(guān)鍵詞 | identity; logic; modal logic; philosophical logic; proof; semantics; symbolic logic; temporal logic; time | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-7091-7664-1 | | isbn_ebook | 978-3-7091-7664-1Series ISSN 0075-9104 | | issn_series | 0075-9104 | | copyright | Springer-Verlag/Wien 1971 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-30 07:17
發(fā)表于 2025-3-21 18:58:10
