The dissertation is completed under the supervision of Prof. Dr. A.S.Troelstra and Prof. Dr. J.F.A.K. van Benthem.
Author(s): Rodenburg P.H.
Series: Historical Dissertations Series 16
Publisher: University of Amsterdam
Year: 1986
Language: English
Pages: 165
City: Amsterdam
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
