不如屎壳郎
发表于 2025-3-25 12:59:39
,Epistemic Planning with Attention as a Bounded Resource,a powerful formalism for epistemic planning). We identify the framework as a fragment of standard DEL, and consider its plan existence problem. While it is undecidable in the general case, we show that when attention is required for learning, all instances of the problem are decidable.
Entrancing
发表于 2025-3-25 19:08:45
Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic,ing point, we show that, among many completeness results obtained in this paper, the limit of a family of weakly aggregative logics is both exactly the modal logic of hypergraphs and also the epistemic logic of local reasoning with veracity and positive introspection. The logics studied are shown to be decidable based on a filtration construction.
胆小懦夫
发表于 2025-3-25 22:41:51
,Weighted Modal Logic in Epistemic and Deontic Contexts,or utilities. We make use of weighted Kripke models with the weights understood epistemically as a similarity measure between states and deontically as a measure of expected utilities. We present sound and complete axiomatizations for the logics, and discuss variants and possible extensions.
cochlea
发表于 2025-3-26 03:41:47
http://reply.papertrans.cn/59/5881/588078/588078_26.png
MAPLE
发表于 2025-3-26 07:21:23
A Generalization of Ordered-Pair Semantics, set of designated (or distinguished) values that one chooses. Building on the technical observations, we offer intuitively plausible readings for the semantics, and we also discuss some weaknesses of the original intuitive reading advanced by Clemens.
Wallow
发表于 2025-3-26 09:17:15
How Knowledge Triggers Obligation, here. We motivate the logic by analyzing several scenarios and by showing how it can capture in an original manner several fundamental deontic notions such as absolute, . and all-things-considered obligations. Finally, in the dynamic epistemic logic tradition, we provide reduction axioms for the dynamic operator of the new logic.
饥荒
发表于 2025-3-26 14:21:12
http://reply.papertrans.cn/59/5881/588078/588078_29.png
心胸狭窄
发表于 2025-3-26 20:39:37
Conference proceedings 2021nd selected from 40 submissions. The workshop covers a wide range on the following topics such as doxastic and epistemic logics, deontic logic, intuitionistic and subsstructural logics, voting theory, and (a new..theme emphasized this year) causal inference..
民间传说
发表于 2025-3-26 23:51:12
http://reply.papertrans.cn/59/5881/588078/588078_31.png
septicemia
发表于 2025-3-27 04:22:26
0302-9743Interaction, LORI 2021, held in Xi`an, China, in October 2021..The 15 full papers presented together with 7 short papers in this book were carefully reviewed and selected from 40 submissions. The workshop covers a wide range on the following topics such as doxastic and epistemic logics, deontic log