Titlebook: Krister Segerberg on Logic of Actions; Robert Trypuz Book 2014 Springer Science+Business Media Dordrecht 2014 belief revision and update.b

retort

書目名稱Krister Segerberg on Logic of Actions影響因子(影響力)




書目名稱Krister Segerberg on Logic of Actions影響因子(影響力)學(xué)科排名




書目名稱Krister Segerberg on Logic of Actions網(wǎng)絡(luò)公開度




書目名稱Krister Segerberg on Logic of Actions網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Krister Segerberg on Logic of Actions被引頻次




書目名稱Krister Segerberg on Logic of Actions被引頻次學(xué)科排名




書目名稱Krister Segerberg on Logic of Actions年度引用




書目名稱Krister Segerberg on Logic of Actions年度引用學(xué)科排名




書目名稱Krister Segerberg on Logic of Actions讀者反饋




書目名稱Krister Segerberg on Logic of Actions讀者反饋學(xué)科排名

intimate

The Concept of a Routine in Segerberg’s Philosophy of Actionis for the formulation of logics of intentional action. The present chapter is an attempt to provide a critical assessment of Segerberg’s program. First, an exposition of the central elements of Segerberg’s account of routines is given and its roles in his philosophy of action are discussed. It is a

Permanent

On the Reconciliation of Logics of Agency and?Logics of Event Typesd Segerberg’s ideas about agency is .. That article attempts to reconcile the . view of agency with the dynamic logic view of event types. Here I discuss Segerberg’s proposal. I will argue that the theory lacks some detail and explanatory power. I will suggest an alternative theory based on an exten

易達(dá)到

Three Traditions in the Logic of Action: Bringing them Togethertegrate into DL-PC the concept of ‘seeing to it that’ (abbreviated by stit) as studied by Belnap, Horty and others. We prove decidability of DL-PC satisfiability and establish the relation with the logic of the Chellas stit opertor.

Palter

分發(fā)

Dynamic Deontic Logic, Segerberg-Styleegerberg’s attempts to come up with a logic in line with ideas of Von Wright, Alchourrón and Ross. We first treat the basic core, which is a blend of temporal and dynamic logic. Then we add the deontic operators. Finally we briefly discuss an extension discussed by Segerberg, which adds deontic acti

群居男女

貪婪的人

Inertia

Equivalent Beliefs in Dynamic Doxastic Logicf state. We enrich the language of dynamic doxastic logic with formulas expressing this notion of equivalence, and provide it with a formal semantics. A finitary proof system is then defined and shown to be sound and complete for this semantics.

招人嫉妒

On Revocable and Irrevocable Belief Revision formulas is modelled explicitly. In standard belief revision one can unmake (‘revoke’) belief in any formula, given yet further information that contradicts it. But irrevocable formulas remain believed forever. We compare traditional AGM belief revision with Segerberg’s dynamic doxastic logic, and