>> Amazon.co.jp
このページのQRコード

Advances in modal logic

種類:
図書
責任表示:
edited by Marcus Kracht ... [et al.]
出版情報:
Stanford, Calif. : CSLI Publications, c1998-
著者名:
Kracht, Marcus  
シリーズ名:
CSLI lecture notes ; no. 87 <BA0037651X>
ISBN:
9781575861036 [1575861038] (v. 1 : hardback)  CiNii Books  Calil
9781575861029 [157586102X] (v. 1 : pbk.)  CiNii Books  Calil
注記:
Vol. 1: A selection of papers presented at the first AiML conference held at the Free University of Berlin, Oct. 1996
Includes bibliographical references and indexes
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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 図書 First steps in modal logic

Popkorn, Sally

Cambridge University Press
2 図書 Tools and techniques in modal logic

Kracht, Marcus

Elsevier
8 図書 A short introduction to modal logic

Mint︠s︡, Grigori

Center for the Study of Language and Information, Leland Stanford Junior University
3 図書 Advances in modal logic

Zakharyaschev, Michael

Center for the Study of Language and Information
9 図書 Meaning and necessity : a study in semantics and modal logic

Carnap, Rudolf, 1891-1970

University of Chicago Press
4 図書 Modal logic

Blackburn, Patrick, 1959-, Rijke, Maarten de, Venema, Yde, 1963-

Cambridge University Press
10 電子ブック Kripke’s Worlds : An Introduction to Modal Logics via Tableaux

Gasquet, Olivier, Herzig, Andreas, Said, Bilal, Schwarzentruber, François, SpringerLink (Online service)

Springer Basel : Imprint: Birkhäuser
5 図書 Modal logic

Chagrov, Alexander, Zakharyaschev, Michael

Clarendon Press, Oxford University Press
11 電子ブック Gentzen Calculi for Modal Propositional Logic [e-books]

Poggiolesi, Francesca, SpringerLink (Online service)

Springer Science+Business Media B.V.
6 図書 Handbook of modal logic

Blackburn, Patrick, 1959-, Benthem, J. F. A. K. van, 1949-, Wolter, F. (Frank)

Elsevier
12 図書 Advances in linear logic

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent, Linear Logic Workshop

Cambridge University Press