Provability, Computability and Reflection ( Volume 5 )

Publication series ：Volume 5

Author： Beklemishev   Lev D.  

Publisher： Elsevier Science‎

Publication year： 2000

E-ISBN: 9780080957258

P-ISBN(Paperback): 9780444533708

P-ISBN(Hardback):  9780444533708

Subject： B085 Neo - realism, logical positivism (the new positivism, logical empiricism)

Language： ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Description

Provability, Computability and Reflection

Chapter

Front Cover

pp.：  1 – 4

An Essay in Model Logic

pp.：  4 – 5

Copyright Page

pp.：  5 – 8

CONTENTS

pp.：  8 – 10

CHAPTER I. TRUTH-LOGIC AND MODAL LOGIC

pp.：  10 – 14

CHAPTER II. SOME ELEMENTS OF TRUTH-LOGIC. QUANTIFICATION

pp.：  14 – 17

CHAPTER III. ALETHIC MODALITIES

pp.：  17 – 38

CHAPTER IV. EPISTEMIC MODALITIES

pp.：  38 – 45

CHAPTER V. DEONTIC MODALITIES

pp.：  45 – 51

CHAPTER VI. COMBINED MODALITIES

pp.：  51 – 66

CHAPTER VII. HIGHER ORDER MODALITIES

pp.：  66 – 87

APPENDIX I. THE MODAL SYLLOGISM

pp.：  87 – 93

APPENDIX II. THE AXIOMATIC SYSTEMS M, M', AND M"

pp.：  93 – 102

The users who browse this book also browse


No browse record.