Barwise, Jon, Moss, Lawrence S. 　著

内容

目次

Part I. Background: 1. Introduction; 2. Background on set theory; PartII. Vicious Circles: 3. Circularity in computer science; 4. Circularity inphilosophy; 5. Circularity and paradox; Part III. Basic Theory: 6. Thesolution dilemma; 7. Bisimulation; Part IV. Elementary applications: 8.Graphs; 9. Modal logic; 10. Streams; 11. Games; 12. Modeling the semanticparadoxes; Part V. Further Theory: 13. Greatest fixed points; 14. Uniformoperators; 15. Corecursion; Part VI. Further Applications: 16. Someapplications; 17. Modeling partial information; 18. Circularity and thenotion of set; 19. Conclusions and future directions.