• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2009 年度 実績報告書

拡張様相概念を基盤とした空間的論理の研究

研究課題

研究課題/領域番号 08J03439
研究機関京都大学

研究代表者

佐野 勝彦  京都大学, 文学研究科, 特別研究員(PD)

キーワードハイブリッド論理 / 様相論理 / クリプキ意味論 / 位相意味論
研究概要

本年度は、昨年度に洞察を得た、世界や時間や個体といった複数次元を一挙同時に扱うことが可能な多次元版ハイブリッド論理について、複数の学会で研究発表を行い、論文執筆を行った。この研究成果は、査読付き欧文誌Logic Journal of IGPLに採択された。さらに、この研究成果を一歩すすめ、位相空間に対する多次元版ハイブリッド論理についても研究を行い、完全性の成立する公理化を与えた。本成果に関しては、来年度にさらに研究内容を深め、国際学会等で発表したうえで、査読付き論文誌に投稿予定である。こういった結果により、申請者の提案したハイブリッド論理の組み合わせ方が非常にうまく機能することを明らかにした。また、位相空間上の導集合演算や閉包演算と似た振る舞いを示すグレード付き様相論理(Graded modal logic)に関して、Minghui Ma(Tsinghua University)と共同研究でゴールトブラットトマソン式の表現力の意味論的特徴づけを与えることに成功した。本成果に関してはすでに論文を仕上げ、国際会議Advances in Modal Logicに投稿済みである。上で挙げたハイブリッド論理にかかわる研究では、すべて可能世界や時点といった意味論的対象が構文論的対象として取り入れられる。これと似た発想が様相論理のラベル付きタブロー計算で用いられる。この点に着目し、ハイブリッド論理のアイデア(具体的には適用条件付きの推論規則)を援用することで、言語学で疑問文を扱うための意味論として提案されているInquisitive pair semanticsに、ゲンツェン流のラベル付きシークェント計算を与え、健全性・完全性およびカット除去定理を証明した。この成果をまとめた論文は、国際会議Wollic 2009に採択された。

  • 研究成果

    (8件)

すべて 2010 2009 その他

すべて 雑誌論文 (3件) (うち査読あり 3件) 学会発表 (4件) 備考 (1件)

  • [雑誌論文] Sound and Complete Tree-Sequent Calculus for Inquisitive Logic2009

    • 著者名/発表者名
      Katshiko Sano
    • 雑誌名

      Lecture Notes in Artificial Intelligence 5514

      ページ: 365-378

    • 査読あり
  • [雑誌論文] How to reason, multi-dimensionally in hybrid logics?2009

    • 著者名/発表者名
      Katshiko Sano
    • 雑誌名

      Abstract Booklet of PhD's in Logic II

      ページ: 17-20

    • 査読あり
  • [雑誌論文] Axiomatizing Hybrid Product : How Can We Reason Many-dimensi onally in Hybrid Logic?2009

    • 著者名/発表者名
      Katshiko Sano
    • 雑誌名

      Logic Journal of the IGPL

    • 査読あり
  • [学会発表] How to reason multi-dimensionally in hybrid logics?2010

    • 著者名/発表者名
      佐野勝彦
    • 学会等名
      PhD's in Logic II
    • 発表場所
      Tilburg University, Tilburg, Netherlands
    • 年月日
      2010-02-19
  • [学会発表] Hybrid Completeness for Neighborhood Semantics2009

    • 著者名/発表者名
      佐野勝彦
    • 学会等名
      A/C seminar
    • 発表場所
      ILLC, University of Amsterdam, Netherlands
    • 年月日
      2009-11-11
  • [学会発表] David Lewis' Logic for Counterfactual Reasoning2009

    • 著者名/発表者名
      佐野勝彦
    • 学会等名
      神戸大学・大阪大学ジョイントセミナー
    • 発表場所
      神戸大学
    • 年月日
      2009-07-25
  • [学会発表] Sound and Complete Tree-Sequent Calculus for Inquisitive Logic2009

    • 著者名/発表者名
      佐野勝彦
    • 学会等名
      16th Workshop on Logic, Language, Informati on and Computation(Wollic 2009)
    • 発表場所
      National Institute of Informatics, Tokyo
    • 年月日
      2009-06-23
  • [備考]

    • URL

      http://www.k2sn.com/index.html

URL: 

公開日: 2011-06-16   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi