実時間論理の決定可能なモデルについて
スポンサーリンク
概要
- 論文の詳細を見る
Any research of real time logics shows that all real time logics are undecidable ifeach formal language is able to express time-point([AFH96]). However, we could finda simple and practical condition that existence of decidable model inspite of whichlogic is able to depict time-point. This condition is specifying minimum time thatholding truth value continuously. Using this condition with our logic, we can provethat existence of decidable model,which has finitely intervals for any finite length,for all formulas. From this fact, we can point out that expressive power of languagewhich refers time-point is not a factor that propositional logic becomes undecidable.
- 沼津工業高等専門学校の論文
- 2009-01-31
著者
関連論文
- 教育用コンピュータ環境としてのシンクライアントシステムの導入と今後の展開
- 沼津市人材活用育成調査報告書
- D-15-12 標準カリキュラムJ07と学習指導要領からみた高専の情報処理教育(D-15.教育工学,一般セッション)
- D-15-11 高専における情報処理教育カリキュラムデータベースの構築と運用(D-15.教育工学,一般セッション)
- 沼津高専における情報資源活用基盤のあり方に関する一考察
- 実時間論理の決定可能なモデルについて
- 実時間命題言語RTLの時間要素束縛に関する試み
- C言語教育におけるメモリモデルの提案
- Vine Linuxを用いたネットワーク構築とその問題点
- 双方向通信を行うエージェントモデルの様相言語による検証について
- 高専における情報処理教育の現状と今後への提言
- 高専における情報処理教育の現状と今後の課題(学習のユビキタス化とシステム構成技法/一般)
- 高専における情報処理教育カリキュラムデータベース(学習のユビキタス化とシステム構成技法/一般)
- 有限次元線形部分空聞をモデルとする命題論理体系