æ•°å¦çš„基礎を徹底解説ï¼â€•â€•è¿‘刊『コンピュータサイエンスã«ãŠã‘る様相論ç†ã€ã¾ãˆãŒã公開｜森北出版2022å¹´1月下旬発行予定ã®æ–°åˆŠæ›¸ç±ã€ã€Žã‚³ãƒ³ãƒ”ュータサイエンスã«ãŠã‘る様相論ç†ã€ã®ã”紹介ã§ã™ã€‚ åŒæ›¸ã®ã€Œã¾ãˆãŒãã€ã®ä¸€éƒ¨ã‚’ã€ç™ºè¡Œã«å…ˆé§†ã‘ã¦å…¬é–‹ã—ã¾ã™ã€‚ ＊＊＊ 〈 本書ã®ç›®çš„ 〉 様相論ç†ã¨ã¯ã€ãŸã¨ãˆã°ã€ŒçœŸã®å¯èƒ½æ€§ãŒã‚ã‚‹ã€ã€Œå°†æ¥ã«ã‚ãŸã£ã¦ãšã£ã¨å½ã€ã€Œãã‚ŒãŒçœŸã§ã‚ã‚‹ã“ã¨ã‚’花åã¯çŸ¥ã£ã¦ã„ã‚‹ã€ã®ã‚ˆã†ã«ã€å˜ã«çœŸã‹å½ã‹ã ã‘ã§ãªã状æ³ã«ä¾å˜ã—ãŸçœŸå½ã‚„複雑化ã•ã‚ŒãŸçœŸå½æ¦‚念を表ç¾ã§ãã‚‹è«–ç†ã§ã™ã€‚ã•ã¾ã–ã¾ãªå‹•æ©Ÿã‹ã‚‰ç”Ÿã¾ã‚ŒãŸã•ã¾ã–ã¾ãªæ§˜ç›¸è«–ç†ãŒã‚ã‚Šã¾ã™ãŒã€ã‚³ãƒ³ãƒ”ュータサイエンスã«ãŠã„ã¦ã¯CTL(computation tree logic)ã€æ§˜ç›¸ãƒŸãƒ¥ãƒ¼è¨ˆç®—(modal μ-calculus)ã€PDL(propositional dynamic logic)ã¨ã„ã£ãŸæ§˜ç›¸è«–ç†ãŒã‚ˆãç ”ç©¶ã•ã‚Œã¦ã„ã¾ã™ã€‚CTLã¯ã€ãŸã¨ãˆã°ã€ŒAãŒèµ·ã“ã‚Œã°ãã®å¾Œã„ã¤ã‹ã¯BãŒèµ·ã“ã‚‹ã€ã®ã‚ˆã†ãªã€æ™‚é–“ã¨ã¨ã‚‚ã«å¤‰åŒ–ã™ã‚‹çœŸå½ã‚’ç´°ã‹ã記述ã§ãã‚‹ã®ã§ã€
{{#tags}}- {{label}}
{{/tags}}