1.

図書
図書
1. Modal logic
Patrick Blackburn, Maarten de Rijke, Yde Venema
出版情報: Cambridge : Cambridge University Press, c2001
シリーズ名: Cambridge tracts in theoretical computer science ; 53
所蔵情報: 図書館
2.

図書
図書
2. Modal logic
Alexander Chagrov and Michael Zakharyaschev
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1997
シリーズ名: Oxford logic guides ; 35
所蔵情報: 図書館
3.

図書
図書
3. First steps in modal logic
Sally Popkorn
出版情報: Cambridge ; New York : Cambridge University Press, 1994
所蔵情報: 図書館
4.

図書
図書
4. Mathematics of modality (: pbk)
Robert Goldblatt
出版情報: Stanford, Calif. : CSLI Publications, c1993
シリーズ名: CSLI lecture notes ; no. 43
所蔵情報: 図書館
5.

図書
図書
5. The logic of provability
George Boolos
出版情報: Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1993
所蔵情報: 研究室
6.

図書
図書
6. Logics of time and computation. 2nd ed., rev. and expanded (: pbk)
Robert Goldblatt
出版情報: Stanford, CA : Center for the Study of Language and Information, c1992
シリーズ名: CSLI lecture notes ; no. 7
所蔵情報: 図書館
7.

図書
図書
7. A short introduction to modal logic (: pbk)
Grigori Mints
出版情報: Stanford, Calif. : Center for the Study of Language and Information, Leland Stanford Junior University, c1992
シリーズ名: CSLI lecture notes ; no. 30
所蔵情報: 図書館
8.

図書
図書
8. Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics
Lincoln A. Wallen
出版情報: Cambridge, Mass. : MIT Press, c1990
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: 図書館
9.

図書
図書
9. Past, present and future
by Arthur Prior
出版情報: Oxford ; Tokyo : Clarendon Press, c1967
所蔵情報: 図書館
10.

図書
図書
10. Aristotle's modal syllogisms
Storrs McCall
出版情報: Amsterdam : North-Holland Pub. Co., 1963
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: 図書館