β Scribed by Rodenburg P.H.
No coin nor oath required. For personal study only.
The dissertation is completed under the supervision of Prof. Dr. A.S.Troelstra and Prof. Dr. J.F.A.K. van Benthem.
Rodenburg P.H. βIntuitionistic Correspondence Theoryβ (PhD Thesis, 1986) ......Page 1
Table of contents ......Page 7
Dankwoord ......Page 8
Part I. Formulas of propositional logic as descriptions of frames ......Page 9
Β§1. Introduction ......Page 10
Β§2. Further examples and Kripke model theory ......Page 22
Β§3. Refutation patterns ......Page 34
Β§4. Fragments ......Page 45
Β§5. Modal logic ......Page 50
Part II. First-order definability ......Page 55
Β§6. Elementary I-formulas ......Page 57
Β§7. Labeled frames ......Page 67
Β§8. Classes of frames in which every I-formula is first-order definable ......Page 77
Β§9. Trees ......Page 86
Β§10. Finite frames ......Page 99
Β§11. Monadic formulas ......Page 104
Β§12. Syntactic closure properties and proper inclusions of classes E(K) ......Page 113
Part III. I-definability ......Page 116
Β§13. Models ......Page 117
Β§l4. I-definable classes of frames ......Page 123
Β§15. I-definable elementary classes ......Page 140
Β§16. I-definable classes of finite frames ......Page 144
Β§17. Classes of frames definable with transparent formulas ......Page 147
Appendix: Beth semantics ......Page 156
References ......Page 165
Index of symbols ......Page 169
Index of definitions ......Page 170
Samenvatting ......Page 173
Stellingen ......Page 175
π SIMILAR VOLUMES
The dissertation is completed under the supervision of Prof. Dr. A.S.Troelstra and Prof. Dr. J.F.A.K. 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
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
In classical mathematics, one can more or less distinguish set theory in its most general form from topology as a specialization of general set theory. (We are aware, however, of the absence of a sharp borderline.) In intuitionism, it is much more difficult to make such a distinction; predicates w
In classical mathematics, one can more or less distinguish set theory in its most general form from topology as a specialization of general set theory. (We are aware, however, of the absence of a sharp borderline.) In intuitionism, it is much more difficult to make such a distinction; predicates w