Contents of Report

[Data of Report]

Report Number:
TR0872
Date of Registration:
1994.04
English Title:
A Modal Clause Transformation Method for Modal Logics of Belief
Japanese Title:
信念様相論理に対する様相節変換型証明器の実現
English Author:
J.Akahani,K.Inoue,R.Hasegawa
Japanese:
赤埴 淳一,井上 克己,長谷川 隆三
Name of Organization to which author belongs:
NTT,Toyohashi Univ,ICOT
PDF:
tr0872.pdf

[Contents]

概要.... 2
1はじめに.... 3
2様相論理と関数模擬法.... 3
2.1命題様相論理.... 4
2.2関数模擬法.... 4
3様相節変換法.... 5
3.1様相節.... 5
3.2MGTP.... 5
3.3NHM様相変換法.... 5
4KD45多重様相論理に対する様相節変換法の拡張.... 7
5様相節変換の例.... 9
6おわりに.... 9
謝辞.... 10
参考文献.... 10
End.... 11

目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports