莎草
发表于 2025-3-25 05:54:15
http://reply.papertrans.cn/29/2837/283631/283631_21.png
慎重
发表于 2025-3-25 10:06:27
,Dynamic Epistemic Logic for Budget-Constrained Agents,udget resources. . extends a standard multi-agent epistemic logic with expressions concerning agent’s budgets and formulas’ costs. . extends . with dynamic modality “.” which reads as “. holds after .’s question whether a propositional formula . is true”. In this paper we provide a sound and complet
idiopathic
发表于 2025-3-25 15:16:26
,Action Models for Coalition Logic,lition of agents is able to achieve through a joint action, no matter what agents outside of the coalition do. The proposed dynamic extension is inspired by dynamic epistemic logic, and, in particular, by action models. We call the resulting logic coalition action model logic (CAML), which, compared
未开化
发表于 2025-3-25 19:06:39
,Quantum Logic for Observation of Physical Quantities, with it. Although DQL includes many important notions for quantum physics and quantum information theory, there are still missing elements. Some concepts of measuring a specific physical quantity cannot be represented in the exiting DQL. In this study, we add a new concept of measurement to DQL, an
伪善
发表于 2025-3-25 21:57:10
Cautious Distributed Belief, a group is inconsistent only when . group members are individually inconsistent. The paper presents basic results about cautious distributed belief, investigates whether it preserves properties of individual belief, and compares it with standard distributed belief. Although both notions are equival
abduction
发表于 2025-3-26 00:15:04
http://reply.papertrans.cn/29/2837/283631/283631_26.png
clarify
发表于 2025-3-26 05:56:39
,First Steps in Updating Knowing How,l. In this regard, we study two types of updates: ontic updates (for which we provide axiomatizations over a particular class of models), and epistemic updates (for which we investigate some semantic properties).
Alienated
发表于 2025-3-26 11:35:32
,A Stit Logic of Intentionality,one of its available actions and executed it. As an important application, we use . to formalize intentional action and intentional responsibility. We present an axiom system for our logic of intentionality, and prove that it is sound and complete.
ALT
发表于 2025-3-26 16:38:17
Conference proceedings 2023fa, Israel, in July/August 2022..The 8 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They deal with new trends and applications in the area of Dynamic Logic. .
不可思议
发表于 2025-3-26 17:39:30
,Relating Kleene Algebras with Pseudo Uninorms, perspective on the theory of Kleene algebras and provides a way to build (new) Kleene algebras. The latter aspect is potentially useful as a source of formalism to capture and model programs acting with fuzzy behaviours and domains.