Intuitionistic Correspondence Theory [PhD Thesis]

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