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影响因子(影响力)学科排名




书目名称Krister Segerberg on Logic of Actions网络公开度




书目名称Krister Segerberg on Logic of Actions网络公开度学科排名




书目名称Krister Segerberg on Logic of Actions被引频次




书目名称Krister Segerberg on Logic of Actions被引频次学科排名




书目名称Krister Segerberg on Logic of Actions年度引用




书目名称Krister Segerberg on Logic of Actions年度引用学科排名




书目名称Krister Segerberg on Logic of Actions读者反馈




书目名称Krister Segerberg on Logic of Actions读者反馈学科排名

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

易达到

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

分发

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