retort
发表于 2025-3-21 19:39:52
书目名称Krister Segerberg on Logic of Actions影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0540668<br><br> <br><br>书目名称Krister Segerberg on Logic of Actions影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0540668<br><br> <br><br>书目名称Krister Segerberg on Logic of Actions网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0540668<br><br> <br><br>书目名称Krister Segerberg on Logic of Actions网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0540668<br><br> <br><br>书目名称Krister Segerberg on Logic of Actions被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0540668<br><br> <br><br>书目名称Krister Segerberg on Logic of Actions被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0540668<br><br> <br><br>书目名称Krister Segerberg on Logic of Actions年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0540668<br><br> <br><br>书目名称Krister Segerberg on Logic of Actions年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0540668<br><br> <br><br>书目名称Krister Segerberg on Logic of Actions读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0540668<br><br> <br><br>书目名称Krister Segerberg on Logic of Actions读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0540668<br><br> <br><br>
intimate
发表于 2025-3-21 20:39:09
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
发表于 2025-3-22 01:14:57
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
易达到
发表于 2025-3-22 06:43:02
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
发表于 2025-3-22 08:49:18
http://reply.papertrans.cn/55/5407/540668/540668_5.png
分发
发表于 2025-3-22 15:16:15
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
群居男女
发表于 2025-3-22 17:02:59
http://reply.papertrans.cn/55/5407/540668/540668_7.png
贪婪的人
发表于 2025-3-23 00:26:51
http://reply.papertrans.cn/55/5407/540668/540668_8.png
Inertia
发表于 2025-3-23 03:36:26
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.
招人嫉妒
发表于 2025-3-23 07:15:56
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