netを見ているともうすぐ出る次の文献の一部がDL可能となっている。以前に見れたのは目次の類いだけだったと思うが…。
- Patrick Blackburn, Johan van Benthem and Frank Wolter ed. Handbook of Modal Logic, Elsevier Science, Studies in Logic and Practical Reasoning, vol. 3, 2006 or 2007
以下のcontentsのPreface全文と、各章冒頭3ページがDLできるようだ。
Preface (P. Blackburn, J. van Nethem and F. Wolter)
Part 1. Basic Theory
Modal Logic: A Semantic Perspective (J. van Benthem and P. Blackburn)
Modal Proof Theory (M. Fitting)
Complexity of Modal Logic (M. Marx)
Computational Modal Logic (I. Horrocks, U. Hustadt, U. Sattler, R. Schmidt)
Part 2. Advanced Theory
Modal Theory of Modal Logic (V. Goranko and M. Otto)
Algebras and Co-algebras (Y. Venema)
Modal Decision Problems (F. Wolter and M. Zakharyaschev)
Modal Consequence Relations (M. Kracht)
Part 3. Variations and Extensions
First-order Modal Logic (T. Bräuner and S. Ghilardi)
High-order Modal Logic (R. Muskens)
Temporal Logic (I. Hodkinson and M. Reynolds)
Modal Mu-Calculi (J. Bradfield and C. Stirling)
Description Logic (F. Baader and C. Lutz)
Hybrid Logics (C. Areces adn B. ten Cate)
Combining Modal Logics (A. Kurucz)
Part 4. Variations and Extensions
Modal Logic in Mathematics (S. Artemov)
Automata-theoretic Techniques for Temporal Reasoning (M. Vardi)
Intelligent Agents and Common-sense Reasoning (J.-J. Meyer and F. Veltman)
Applications of Modal Logic in Lingistics (L. Moss and H.-J. Tiede)
Modal Logic for Games and Information (W. van der Hoek and M. Pauly)
Modal Logic and Philosophy (S. Lindström and K. Segerberg)
University of LiverpoolのDepartment of Computer Scienceに所属されているFrank WolterさんのHPからDLページへ行くことができるようになっている。
この後は少し集合論を復習してから寝ようかな。
