Modal logic

このページのQRコード

種類:

図書

責任表示:

Alexander Chagrov and Michael Zakharyaschev

出版情報:

Oxford : Clarendon Press
New York : Oxford University Press, 1997

著者名:

シリーズ名:

Oxford logic guides ; 35 <BA00017765>

ISBN:

9780198537793 [0198537794]

注記:

Includes bibliographical references (p. [567]-595) and index

所蔵情報

子書誌情報

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

詳細

主題:	Logic, Symbolic and mathematical; Modality (Logic)
分類・件名:	NDC7 : 410.12 LCSH : Modality (Logic) LCSH : Logic, Symbolic and mathematical
TTLL:	eng
言語:	英語
形態:	xv, 605 p. ; 25 cm
書誌ID:	BA30072693

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Modal logic Blackburn, Patrick, 1959-, Rijke, Maarten de, Venema, Yde, 1963- Cambridge University Press	7 図書 Mathematics of modality Goldblatt, Robert, 1949- CSLI Publications
2 図書 First steps in modal logic Popkorn, Sally Cambridge University Press	8 図書 Aristotle's modal syllogisms McCall, Storrs North-Holland Pub. Co.
3 図書 A short introduction to modal logic Mint︠s︡, Grigori Center for the Study of Language and Information, Leland Stanford Junior University	9 図書 Equational logic as a programming language O'Donnell, Michael J. MIT Press
4 図書 Advances in modal logic Zakharyaschev, Michael Center for the Study of Language and Information	10 図書 Algebraic methods of mathematical logic Rieger, Ladislav, 1916-1963, Basch, Michael Academia, Academic Press
5 図書 Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics Wallen, Lincoln A. MIT Press	11 図書 The logic of provability Boolos, George Cambridge University Press
6 図書 Past, present and future Prior, Arthur N. Clarendon Press	12 図書 Logics of time and computation Goldblatt, Robert, 1949- Center for the Study of Language and Information