Embedding of modal predicate systems into lower predicate calculus 様相述語体系の一階述語論理への埋め込み

Search this Article

Author

    • 三浦, 聡 ミウラ, サトシ

Bibliographic Information

Title

Embedding of modal predicate systems into lower predicate calculus

Other Title

様相述語体系の一階述語論理への埋め込み

Author

三浦, 聡

Author(Another name)

ミウラ, サトシ

University

立教大学

Types of degree

理学博士

Grant ID

乙第76号

Degree year

1984-03-31

Note and Description

博士論文

Codes

  • NII Article ID (NAID)
    500000041547
  • NII Author ID (NRID)
    • 8000000041622
  • NDLBibID
    • 000000205861
  • Source
    • NDL ONLINE

Export

Page Top