>> Google Books
QRコード(所蔵情報)

On some semantic tableau proof procedures for modal logic

フォーマット:
図書
責任表示:
Graham Wrightson
言語:
ドイツ語
出版情報:
Düsseldorf : VDI Verlag, 1984
形態:
iv, 128 p. ; 21 cm
著者名:
Wrightson, Graham <DA06369400>  
シリーズ名:
Fortschritt-Berichte VDI ; Reihe 10, Nr. 30 <BA07751876>
書誌ID:
BA25551846
ISBN:
9783181430101 [3181430102]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Proof methods for modal and intuitionistic logics

Fitting, Melvin Chris

D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Boston
7 電子ブック Proof Theory for Fuzzy Logics

Metcalfe, George, Barwise, Jon, Gabbay, Dov M., Gabbay, Dov, Olivetti, Nicola, SpringerLink (Online service)

Springer Netherlands
2 図書 Self-reference and modal logic

Smoryński, C.

Springer-Verlag
8 電子ブック Gentzen Calculi for Modal Propositional Logic

Poggiolesi, Francesca, SpringerLink (Online service)

Springer Science+Business Media B.V.
3 図書 Modal logic : an introduction

Chellas, Brian F

Cambridge University Press
9 図書 Child abuse : procedure & evidence

Hall, Jean Graham, Martin, Douglas F.

B. Rose
4 図書 Aspects of Aristotle's logic of modalities

Rijen, Jeroen van, 1950-

Kluwer Academic
10 図書 The logic of common nouns : an investigation in quantified modal logic

Gupta, Anil, 1949-

Yale University Press
5 図書 Modal logic with descriptions

Ruzsa, Imre

M. Nijhoff
11 図書 Proofs and refutations : the logic of mathematical discovery

Lakatos, Imre, 1927-1974, Worrall, John, Zahar, Elie

Cambridge University Press
6 図書 A short introduction to modal logic

Mint︠s︡, Grigori

Center for the Study of Language and Information, Leland Stanford Junior University
12 電子ブック Hybrid Logic and its Proof-Theory

Braüner, Torben, SpringerLink (Online service)

Springer Science+Business Media B.V.