文献

J-GLOBAL ID：201002292626644990   整理番号：10A0048307

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

A proof of the completeness theorem for the modal logic with transitive closure of accessibility relation

著者 (1件)： KASHIMA Ryo (Tokyo Inst. of Technol., Tokyo, JPN)
資料名： Research Reports on Mathematical and Computing Sciences. Series C. Computer Science (Web)  (Research Reports on Mathematical and Computing Sciences. Series C. Computer Science (Web))
号： 266  ページ： C-266 (WEB ONLY)  発行年： 2009年12月 
JST資料番号： U0055A  ISSN： 1342-2812  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 我々は到達可能関係の推移閉包を表現する付加的な様相演算記号をもつ最小正規様相命題論理Kに対する完全性定理の新しい証明を与える。(翻訳著者抄録)

シソーラス用語： 数学モデル ,  命題論理 ,  *完全性 ,  定理証明 ,  *様相論理
準シソーラス用語： Kripkeモデル

分類 (1件)： 論理代数  (JB03000H)

引用文献 (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件)： 推移閉包 ,  様相論理 ,  完全性 ,  定理 ,  証明