情報と依存関係の論理

コンピュータソフトウェア

Print ISSN : 0289-6540

情報と依存関係の論理

小林聡

著者情報

ジャーナルフリー

2005 年 22 巻 3 号 p. 3_194-3_200

DOI https://doi.org/10.11309/jssst.22.3_194

詳細

抄録

「x の値を知っている」を意味する述語D(x)を持ち，情報の隠蔽や情報間の依存関係を詳細に記述できる論理を提案する．公理系を示し，Kripke意味論を与えて，健全性定理と完全性定理が成立することを示す．

著者関連情報

© 日本ソフトウェア科学会 2005

お気に入り & アラート

関連記事

閲覧履歴

Top