語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Modal logic for belief and preferenc...
~
Girard, Patrick.
FindBook
Google Book
Amazon
博客來
Modal logic for belief and preference change.
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Modal logic for belief and preference change./
作者:
Girard, Patrick.
面頁冊數:
151 p.
附註:
Adviser: Johan van Benthem.
Contained By:
Dissertation Abstracts International69-02A.
標題:
Philosophy. -
電子資源:
http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3302826
ISBN:
9780549489535
Modal logic for belief and preference change.
Girard, Patrick.
Modal logic for belief and preference change.
- 151 p.
Adviser: Johan van Benthem.
Thesis (Ph.D.)--Stanford University, 2008.
In my thesis, I show that Order Logic interpreted over preorders provides a unifying framework for individuals and groups to analyze believe and preference change. Order Logic is a modal logic with three modalities complete for the class of transitive and reflexive frames whose fragments and extensions yield various formalisms to analyze the dynamics of beliefs and preferences. The analysis proceeds in two steps: (1) I give static logics for belief and preference and (2) I introduce dynamic modalities to analyze actions over models. I investigate four kinds of doxastic and preference logics: Relational Doxastic Logic, Binary Preference Logic, Ceteris Paribus Logic and Group Order Logic. The actions I consider are of two kinds. In a first time, I integrate three well-known dynamic actions. The first one is public announcement, the second lexicographic upgrade and the last preference upgrade, exemplifying state elimination, state reordering and link cutting respectively. In a second time, I introduce new kinds of actions: agenda expansion and agent promotion. All actions are incorporated into static logics via compositional analysis, appealing to reduction axioms. This uniform completeness strategy consists in giving axioms that transform formulas with action modalities to equivalent formulas in the static language, reducing completeness of the dynamic logic to that of the static one.
ISBN: 9780549489535Subjects--Topical Terms:
516511
Philosophy.
Modal logic for belief and preference change.
LDR
:02235nam 2200265 a 45
001
942201
005
20110519
008
110519s2008 ||||||||||||||||| ||eng d
020
$a
9780549489535
035
$a
(UMI)AAI3302826
035
$a
AAI3302826
040
$a
UMI
$c
UMI
100
1
$a
Girard, Patrick.
$3
1086104
245
1 0
$a
Modal logic for belief and preference change.
300
$a
151 p.
500
$a
Adviser: Johan van Benthem.
500
$a
Source: Dissertation Abstracts International, Volume: 69-02, Section: A, page: 0629.
502
$a
Thesis (Ph.D.)--Stanford University, 2008.
520
$a
In my thesis, I show that Order Logic interpreted over preorders provides a unifying framework for individuals and groups to analyze believe and preference change. Order Logic is a modal logic with three modalities complete for the class of transitive and reflexive frames whose fragments and extensions yield various formalisms to analyze the dynamics of beliefs and preferences. The analysis proceeds in two steps: (1) I give static logics for belief and preference and (2) I introduce dynamic modalities to analyze actions over models. I investigate four kinds of doxastic and preference logics: Relational Doxastic Logic, Binary Preference Logic, Ceteris Paribus Logic and Group Order Logic. The actions I consider are of two kinds. In a first time, I integrate three well-known dynamic actions. The first one is public announcement, the second lexicographic upgrade and the last preference upgrade, exemplifying state elimination, state reordering and link cutting respectively. In a second time, I introduce new kinds of actions: agenda expansion and agent promotion. All actions are incorporated into static logics via compositional analysis, appealing to reduction axioms. This uniform completeness strategy consists in giving axioms that transform formulas with action modalities to equivalent formulas in the static language, reducing completeness of the dynamic logic to that of the static one.
590
$a
School code: 0212.
650
4
$a
Philosophy.
$3
516511
690
$a
0422
710
2
$a
Stanford University.
$3
754827
773
0
$t
Dissertation Abstracts International
$g
69-02A.
790
$a
0212
790
1 0
$a
van Benthem, Johan,
$e
advisor
791
$a
Ph.D.
792
$a
2008
856
4 0
$u
http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3302826
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9111572
電子資源
11.線上閱覽_V
電子書
EB W9111572
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入