Conjunctive normal forms and weak model logics without the axiom of necessity 積標準形と必然性公理をもたない弱い様相論理

この論文をさがす

著者

    • 大濱, 茂生 オオハマ, シゲオ

書誌事項

タイトル

Conjunctive normal forms and weak model logics without the axiom of necessity

タイトル別名

積標準形と必然性公理をもたない弱い様相論理

著者名

大濱, 茂生

著者別名

オオハマ, シゲオ

学位授与大学

名古屋大学

取得学位

理学博士

学位授与番号

乙第2503号

学位授与年月日

1984-01-31

注記・抄録

博士論文

各種コード

  • NII論文ID(NAID)
    500000041957
  • NII著者ID(NRID)
    • 8000000042032
  • NDL書誌ID
    • 000000206271
  • データ提供元
    • NDL-OPAC
ページトップへ