文献
J-GLOBAL ID:201902105597345173   整理番号:19S2202044

A modified subformula property for the modal logics k5 and k5d

著者 (1件):
資料名:
巻: 30  号:ページ: 115-122  発行年: 2001年 
JST資料番号: SCOPUS  ISSN: 0138-0680 
発行国: ポーランド (POL)  言語: 英語 (EN)

前のページに戻る