窝转脊椎动物
发表于 2025-3-26 22:40:17
Krister Segerberg on Logic of Actions978-94-007-7046-1Series ISSN 2211-2758 Series E-ISSN 2211-2766
BARK
发表于 2025-3-27 04:13:39
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.
否认
发表于 2025-3-27 05:31:35
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 actions to install a new deontic status of actions.
heartburn
发表于 2025-3-27 09:25:58
http://reply.papertrans.cn/55/5407/540668/540668_34.png
明智的人
发表于 2025-3-27 13:42:20
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-27 19:59:57
http://reply.papertrans.cn/55/5407/540668/540668_36.png
Physiatrist
发表于 2025-3-28 00:14:36
2211-2758 ols - mostly modal (dynamic) logic and its semantics. He has had such a significant impact on modal logic that "It is hard to roam for long in modal logic without finding Krister Segerberg‘s traces," as Johan van Benthem notes in his chapter of this book..978-94-024-0197-4978-94-007-7046-1Series ISSN 2211-2758 Series E-ISSN 2211-2766
爱了吗
发表于 2025-3-28 05:26:26
ffer from ideal ones through the influence of boundaries and the loss of symmetry caused by spatial disorder. The simplest example of spatial disorder is a single defect in an otherwise regular pattern. Our treatment of real patterns focuses almost exclusively on Rayleigh-Benard convection since thi
Climate
发表于 2025-3-28 08:02:30
ffer from ideal ones through the influence of boundaries and the loss of symmetry caused by spatial disorder. The simplest example of spatial disorder is a single defect in an otherwise regular pattern. Our treatment of real patterns focuses almost exclusively on Rayleigh-Benard convection since thi
游行
发表于 2025-3-28 11:47:34
http://reply.papertrans.cn/55/5407/540668/540668_40.png