书目名称 | Structural Analysis of Non-Classical Logics | 副标题 | The Proceedings of t | 编辑 | Syraya Chin-Mu Yang,Duen-Min Deng,Hanti Lin | 视频video | | 概述 | Presents dialogues between logic-minded philosophers and logicians with philosophical orientation.Approaches topics in philosophical logic from philosophical and logical perspectives.Sheds light on a | 丛书名称 | Logic in Asia: Studia Logica Library | 图书封面 |  | 描述 | This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate logic. The book presents a wide range of applications of two well-known approaches in current research: (i) structural modeling of certain philosophical issues in the framework of non-classic logics, such as admissible models for modal logic, structural models for modal epistemology and for counterfactuals, and epistemological models for common knowledge and for public announcements; (ii) conceptual analysis of logical properties of, and formal semantics for, non-classical logics, such as sub-formula property, truthmaking, epistemic modality, behavioral strategies, speech acts and assertions. The structural analysis provided in this volume will appeal not only to graduate students and experts in non-classic logics, but also to readers from a wide range of disciplines, including computer scienc | 出版日期 | Conference proceedings 2016 | 关键词 | common knowledge and assertion; dynamic/epistemic logic; incompatible paraconsistency; interpolation pr | 版次 | 1 | doi | https://doi.org/10.1007/978-3-662-48357-2 | isbn_softcover | 978-3-662-51712-3 | isbn_ebook | 978-3-662-48357-2Series ISSN 2364-4613 Series E-ISSN 2364-4621 | issn_series | 2364-4613 | copyright | Springer-Verlag Berlin Heidelberg 2016 |
The information of publication is updating
|
|