標題: Titlebook: Dynamic Logic. New Trends and Applications; 4th International Wo Carlos Areces,Diana Costa Conference proceedings 2023 The Editor(s) (if ap [打印本頁] 作者: CLOG 時間: 2025-3-21 20:00
書目名稱Dynamic Logic. New Trends and Applications影響因子(影響力)
書目名稱Dynamic Logic. New Trends and Applications影響因子(影響力)學科排名
書目名稱Dynamic Logic. New Trends and Applications網絡公開度
書目名稱Dynamic Logic. New Trends and Applications網絡公開度學科排名
書目名稱Dynamic Logic. New Trends and Applications被引頻次
書目名稱Dynamic Logic. New Trends and Applications被引頻次學科排名
書目名稱Dynamic Logic. New Trends and Applications年度引用
書目名稱Dynamic Logic. New Trends and Applications年度引用學科排名
書目名稱Dynamic Logic. New Trends and Applications讀者反饋
書目名稱Dynamic Logic. New Trends and Applications讀者反饋學科排名
作者: Disk199 時間: 2025-3-22 00:15
978-3-031-26621-8The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl作者: troponins 時間: 2025-3-22 00:47
Dynamic Logic. New Trends and Applications978-3-031-26622-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 雀斑 時間: 2025-3-22 05:41
John A. Bryant,Stephen G. Hughes different parametrized modal logics, we prove their completeness with respect to appropriate classes of parametrized relational structures and we show the decidability of some related satisfiability problems.作者: Inflated 時間: 2025-3-22 12:24 作者: Metastasis 時間: 2025-3-22 14:18 作者: Metastasis 時間: 2025-3-22 20:24
John A. Bryant,Stephen G. Hughes different parametrized modal logics, we prove their completeness with respect to appropriate classes of parametrized relational structures and we show the decidability of some related satisfiability problems.作者: 制定 時間: 2025-3-22 22:11
M. B. Ratnaparkhe,R. J. Singh,J. J. Doyle. It shows that every Kleene algebra induces a pseudo uninorm, and that some pseudo uninorms induce Kleene algebras. This connection establishes a new 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 o作者: 悲痛 時間: 2025-3-23 05:11
John A. Bryant,Stephen G. Hughesudget 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作者: CEDE 時間: 2025-3-23 07:48
Li Rong Zhou,Jun Wu,Shenghua Wanglition 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作者: Vertical 時間: 2025-3-23 09:50 作者: 使尷尬 時間: 2025-3-23 14:51 作者: 出血 時間: 2025-3-23 18:20
Li Rong Zhou,Jun Wu,Shenghua Wangn of .. The semantics is based on the extension of stit frames with special topologies associated to agents. The open sets of the associated topology are interpreted as present-directed intentions, that support whether an agent had an intention of realizing a specific state of affairs when it chose 作者: 體貼 時間: 2025-3-23 22:48 作者: JOG 時間: 2025-3-24 02:59 作者: IDEAS 時間: 2025-3-24 09:09 作者: Sinus-Rhythm 時間: 2025-3-24 11:25
0302-9743 eld in Haifa, 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.?.978-3-031-26621-8978-3-031-26622-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Mhc-Molecule 時間: 2025-3-24 18:01 作者: Mucosa 時間: 2025-3-24 21:17 作者: lactic 時間: 2025-3-25 02:38 作者: 莎草 時間: 2025-3-25 05:54 作者: 慎重 時間: 2025-3-25 10:06
,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
,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
,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
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 作者: clarify 時間: 2025-3-26 05:56
,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
,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
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
,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.作者: 油膏 時間: 2025-3-26 23:26
,Dynamic Epistemic Logic for?Budget-Constrained Agents,namic modality “.” which reads as “.?holds after .’s question whether a propositional formula . is true”. In this paper we provide a sound and complete axiomatization for . and . and show that both logics are decidable.作者: foppish 時間: 2025-3-27 02:22 作者: 開始沒有 時間: 2025-3-27 08:07 作者: Medley 時間: 2025-3-27 10:18 作者: Brocas-Area 時間: 2025-3-27 14:11
Li Rong Zhou,Jun Wu,Shenghua Wangal language extended only with cautious distributed belief is in fact strictly less expressive than the propositional language extended only with standard distributed belief. We, finally, identify a small extension of the language making the former as expressive as the latter.作者: STALE 時間: 2025-3-27 19:09
Cautious Distributed Belief,al language extended only with cautious distributed belief is in fact strictly less expressive than the propositional language extended only with standard distributed belief. We, finally, identify a small extension of the language making the former as expressive as the latter.作者: Lipoprotein 時間: 2025-3-28 00:16
0302-9743 eld in Haifa, 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.?.978-3-031-26621-8978-3-031-26622-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: euphoria 時間: 2025-3-28 02:46 作者: venous-leak 時間: 2025-3-28 09:12
John A. Bryant,Stephen G. Hughesnamic modality “.” which reads as “.?holds after .’s question whether a propositional formula . is true”. In this paper we provide a sound and complete axiomatization for . and . and show that both logics are decidable.作者: apropos 時間: 2025-3-28 12:57
Li Rong Zhou,Jun Wu,Shenghua Wangred by dynamic epistemic logic, and, in particular, by action models. We call the resulting logic coalition action model logic (CAML), which, compared to CL, includes additional modalities for coalitional action models. We investigate the expressivity of CAML, and provide a complexity characterisation of its model checking problem.作者: 空洞 時間: 2025-3-28 17:15
