Art

J-GLOBAL ID：201002292626644990   Reference number：10A0048307

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

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

Author (1)： KASHIMA Ryo (Tokyo Inst. of Technol., Tokyo, JPN)
Material： Research Reports on Mathematical and Computing Sciences. Series C. Computer Science (Web)  (Research Reports. Dep. of Math. and Comp. Sciences. Series C: Computer Science (Web))
Issue： 266  Page： C-266 (WEB ONLY)  Publication year： Dec. 2009 
JST Material Number： U0055A  ISSN： 1342-2812  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： mathematical model ,  propositional logic ,  *completeness ,  theorem proving ,  *modal logic
Semi thesaurus term： Kripke model

JST classification (1)： Logic algebra  (JB03000H)

Reference (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).

Terms in the title (5)： 推移閉包 ,  様相論理 ,  完全性 ,  定理 ,  証明