• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

様相論理KTBとそれを含む様相論理がなす束の構造に関する研究

Research Project

Project/Area Number 18700002
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field Fundamental theory of informatics
Research InstitutionHokkaido University

Principal Investigator

宮崎 裕  北大, 情報科学研究科 (40374607)

Project Period (FY) 2006 – 2007
Project Status Completed (Fiscal Year 2007)
Budget Amount *help
¥3,300,000 (Direct Cost: ¥3,300,000)
Fiscal Year 2007: ¥1,400,000 (Direct Cost: ¥1,400,000)
Fiscal Year 2006: ¥1,900,000 (Direct Cost: ¥1,900,000)
Keywords様相論理 / KTB / Kripke / incompleteness / splitting
Research Abstract

本研究の当該年度における実績は次のとおりである。以下で様相論理KTBを含むノーマルな様相論理全体のクラス、およびそれらがなす束をNEXT(KTB)と書き表す。
1.NEXT(KTB)において非可算個のKripk incompleteな論理を構成した。
Kripke incompleteな論理が非可算個存在するということは他の様相論理のクラスにおいても普通に見られる現象であり、NEXT(KTB)でこの現象が見つかったことはさほどに驚くべきことではないが、論理KTBを特徴付けるようなsymmetricなframeで非可算個のKripke incompleteな論理が構成できたことは注目に値する。
2.NEXT(KTB)におけるsplitting logicsを完全に決定した。
Reflexive pointただ1つからなるframeが決める論理がNEXT(KTB)をsplitすることはすでに知られていた。報告者は2つのreflexive pointsをsymmetricなrelationでつないだframeが決める論理もNEXT(KTB)をsplitすることを示した。さらに報告者はNEXT(KTB)をsplitする論理がこの2つだけしかないことも示した。この現象は様相論理KTを含む論理の束NEXT(KT)やtense logicsがなす束における状況ときわめてよく似ている。

Report

(1 results)
  • 2006 Annual Research Report
  • Research Products

    (2 results)

All 2007

All Journal Article (2 results)

  • [Journal Article] A splitting logic in NEXT (KTB)2007

    • Author(s)
      Yutaka Miyazaki
    • Journal Title

      Studia Logica 85

      Pages: 399-412

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Kripke incomplete logics containing KTB2007

    • Author(s)
      Yutaka Miyazaki
    • Journal Title

      Studia Logica 85

      Pages: 311-326

    • Related Report
      2006 Annual Research Report

URL: 

Published: 2006-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi