関連資料一覧:(本学所蔵)
検索条件
件名: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). | 教養共4F哲学 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). | 教養共5F英語 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). | 教養共5F英語 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). | 教養共4F哲学 116:F |
8 | First steps in modal logic / Sally Popkorn. -- Cambridge University Press, 1994. | 教養共4F哲学 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). | 教養共4F哲学 116:B |
10 | The intentions of intentionality and other new models for modalities / Jaakko Hintikka ; , :pbk.. -- D. Reidel, c1975. -- (Synthese library ; v. 90). | 教養共4F哲学 116:H |
選択行を:
|