文献
J-GLOBAL ID:201002292626644990   整理番号:10A0048307

到達可能関係の推移閉包をもつ様相論理に対する完全性定理の証明

A proof of the completeness theorem for the modal logic with transitive closure of accessibility relation
著者 (1件):
資料名:
号: 266  ページ: C-266 (WEB ONLY)  発行年: 2009年12月 
JST資料番号: U0055A  ISSN: 1342-2812  資料種別: 逐次刊行物 (A)
記事区分: 原著論文  発行国: 日本 (JPN)  言語: 英語 (EN)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
我々は到達可能関係の推移閉包を表現する付加的な様相演算記号をもつ最小正規様相命題論理Kに対する完全性定理の新しい証明を与える。(翻訳著者抄録)
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

準シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

分類 (1件):
分類
JSTが定めた文献の分類名称とコードです
論理代数 
引用文献 (2件):
  • R.Fagin, J.Y.Halpern, Y.Moses, and M.Y.Vardi, Reasoning About Knowledge,(MIT Press, 1995).
  • R.Goldblatt, Logics of Time and Computation, second edition (CSLI Lecture Note, 1992).
タイトルに関連する用語 (5件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る