Modal logic

このページのQRコード

種類:

図書

責任表示:

Patrick Blackburn, Maarten de Rijke, Yde Venema

出版情報:

Cambridge : Cambridge University Press, c2001

著者名:

シリーズ名:

ISBN:

9780521802000 [0521802008]

注記:

Includes bibliographical references (p. 524-543) and index

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Modal logic and process algebra : a bisimulation perspective Ponse, A. (Alban), 1955-, Rijke, Maarten de, Venema, Yde, 1963- Center for the Study of Language and Information	7 図書 Mathematics of modality Goldblatt, Robert, 1949- CSLI Publications
2 図書 Modal logic Chagrov, Alexander, Zakharyaschev, Michael Clarendon Press, Oxford University Press	8 図書 Aristotle's modal syllogisms McCall, Storrs North-Holland Pub. Co.
3 図書 First steps in modal logic Popkorn, Sally Cambridge University Press	9 図書 The logic of provability Boolos, George Cambridge University Press
4 図書 A short introduction to modal logic Mint︠s︡, Grigori Center for the Study of Language and Information, Leland Stanford Junior University	10 図書 Logics of time and computation Goldblatt, Robert, 1949- Center for the Study of Language and Information
5 図書 Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics Wallen, Lincoln A. MIT Press	11 図書 Logic Colloquium '92 Logic Colloquium, Csirmaz, László, Gabbay, Dov M., 1945-, Rijke, Maarten de, Association for Symbolic Logic CSLI Publications
6 図書 Handbook of modal logic Blackburn, Patrick, 1959-, Benthem, J. F. A. K. van, 1949-, Wolter, F. (Frank) Elsevier	12 図書 Tools and techniques in modal logic Kracht, Marcus Elsevier