関連資料一覧：（本学所蔵）
検索条件
件名：LCSH:Modality(Logic)
選択行を：
| 資料名 | 所在 |
| 1 | Arrow logic and multi-modal logic / edited by Maarten Marx, László Pólos, and Michael Masuch ; alk. paper, pbk. -- CSLI Publications, . -- (Studies in logic, language and information). | 教養共４Ｆ哲学 116:A |
| 2 | Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen. -- MIT Press, c1990. -- (The MIT Press series in artificial intelligence). | 教養共５Ｆ英語 410.1:W |
| 3 | Communication and meaning : an essay in applied modal logic / Andrew J.I. Jones. -- D. Reidel, . -- (Synthese library ; v. 168). | 図書館(書庫) 115:J |
| 4 | A deduction model of belief / Kurt Konolige ; : uk, : us. -- Pitman, . -- (Research notes in artificial intelligence). | 教養共５Ｆ英語 007.1:K |
| 5 | The development of modal reasoning : genesis of necessity and possibility notions / Gilberte Piéraut-Le Bonniec. -- Academic Press, 1980. -- (Developmental psychology series). | 図書館(書庫) 143.2:P |
| 6 | Essays in the metaphysics of modality / Alvin Plantinga ; edited by Matthew Davidson ; , : pbk. -- Oxford University Press, 2003. | 教養（教養学部棟） 111:P |
| 7 | First-order modal logic / Melvin Fitting and Richard L. Mendelsohn. -- Kluwer Academic, c1998. -- (Synthese library ; v. 277). | 教養共４Ｆ哲学 116:F |
| 8 | First steps in modal logic / Sally Popkorn. -- Cambridge University Press, 1994. | 教養共４Ｆ哲学 410.9:P |
| 9 | Handbook of modal logic / edited by Patrick Blackburn, Johan van Benthem, Frank Wolter. -- Elsevier, 2007. -- (Studies in logic and practical reasoning ; v. 3). | 教養共４Ｆ哲学 116:B |
| 10 | The intentions of intentionality and other new models for modalities / Jaakko Hintikka ; , :pbk.. -- D. Reidel, c1975. -- (Synthese library ; v. 90). | 教養共４Ｆ哲学 116:H |
選択行を：
|