ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 研究報告
  2. セキュリティ心理学とトラスト(SPT)
  3. 2017
  4. 2017-SPT-024

多層行為論理の意味論的性質

https://ipsj.ixsq.nii.ac.jp/records/182595
https://ipsj.ixsq.nii.ac.jp/records/182595
ccbef850-0247-49ac-a77d-264ba697c527
名前 / ファイル ライセンス アクション
IPSJ-SPT17024004.pdf IPSJ-SPT17024004.pdf (1.0 MB)
Copyright (c) 2017 by the Institute of Electronics, Information and Communication Engineers This SIG report is only available to those in membership of the SIG.
SPT:会員:¥0, DLIB:会員:¥0
Item type SIG Technical Reports(1)
公開日 2017-07-07
タイトル
タイトル 多層行為論理の意味論的性質
タイトル
言語 en
タイトル Semantic Properties of Multi-layered Logic of Agency
言語
言語 jpn
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_18gh
資源タイプ technical report
著者所属
東北大学文学部
著者所属(英)
en
School of Arts and Letters, Tohoku University
著者名 村上, 祐子

× 村上, 祐子

村上, 祐子

Search repository
著者名(英) Yuko, Murakami]

× Yuko, Murakami]

en Yuko, Murakami]

Search repository
論文抄録
内容記述タイプ Other
内容記述 この論文では,各可能世界の功利主義的価値で定義される選択肢間の選好順序と,もう一つは選択肢の層により表現される価値システム間の選好順序という,2 つの選好順序をもつ多層義務論理の可能世界意味論上で,いくつかの言語の解釈を提案し,言語拡大によるフレームクラスの特性公理化の可能性について論じる.
論文抄録(英)
内容記述タイプ Other
内容記述 This paper will propose interpretations of modal languages on multi-layered semantics of logic of agency. It will show that characterization of "layers of nested-partitions" depends on choice of language.
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AA12628305
書誌情報 研究報告セキュリティ心理学とトラスト(SPT)

巻 2017-SPT-24, 号 4, p. 1-2, 発行日 2017-07-07
ISSN
収録物識別子タイプ ISSN
収録物識別子 2188-8671
Notice
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-20 04:00:46.620379
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3