| 作成者 |
|
| 本文言語 |
|
| 出版者 |
|
|
|
| 発行日 |
|
| 収録物名 |
|
| 巻 |
|
| 号 |
|
| 開始ページ |
|
| 終了ページ |
|
| 出版タイプ |
|
| アクセス権 |
|
| Crossref DOI |
|
| 関連DOI |
|
|
|
| 関連URI |
|
|
|
| 関連情報 |
|
|
|
| 概要 |
Modal logic has various applications in Computer Science. In this paper, an axiomatization of computer-oriented modal logic has been given through the modification of Gentzen-type axiomatization of mo...dal propositional logic S4. The characterization theorems of the axiom system, i. e, soundness, decidability were also proved. Finally, some provable and unprovable examples are shown together with the computer implementation of our proof procedure which is now being developed.続きを見る
|
Mendeley出力
