知識論理・様相論理の標準形展開基底による特性化(計算モデルと計算の複雑さに関する研究)
スポンサーリンク
概要
著者
関連論文
- Multi-modal logicsにおけるShannonの標準形展開の自然な拡張 (計算機科学基礎理論の新展開)
- 最小normal論理Kより小さい擬論理の標準形展開 (計算モデルとアルゴリズム)
- 知識論理・様相論理の標準形展開基底による特性化(計算モデルと計算の複雑さに関する研究)
- 知識命題の標準形を用いる妥当性検証(アルゴリズムと計算量理論)
- 右延長文法により生成される言語について (オートマトン理論と数理言語の研究)
- LanguageにおけるWordsのPermutationについて (情報科学の数学的理論)