東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Modal logic for belief and preferenc...

Girard, Patrick.

Linked to FindBook

Google Book

Amazon

博客來

Modal logic for belief and preference change.

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Modal logic for belief and preference change./
Author:	Girard, Patrick.
Description:	151 p.
Notes:	Adviser: Johan van Benthem.
Contained By:	Dissertation Abstracts International69-02A.
Subject:	Philosophy. -
Online resource:	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