研究者詳細

著書
分割表示   全件表示 >>

1 件中 1 - 1 件目

年度
Year
著書名
Title of the books
著書形態
Form of Book
NeoCILIUS
   請求番号/資料ID
Request No
出版機関名 Publishing organization,判型 Book Size,頁数 No. of pp.,発行年月(日) Date
2001  Logics and Provability  単著   
Institute for Logic, Language and Computation, University of Amsterdam  , B5  , 1-139  , 2001/09   

概要(Abstract) We treat three kinds of propositional logics. The first kind connects with a non-modal propositional logic, called formal propositional logic, another is an intuitionistic modal logic, and the third kind consists of interpretability logics. These logics are related to or connected with the provability logic GL, the normal modal logic obtained from the smallest normal modal logic K by adding Löb's axiom. 

備考(Remarks) ILLC Dissertation Series DS-2001-07, ISBN:90-5776-069-X 

Page: [<<PREV] [1] [NEXT>>]