標(biāo)題: Titlebook: Logic, Rationality, and Interaction; 9th International Wo Natasha Alechina,Andreas Herzig,Fei Liang Conference proceedings 2023 The Editor( [打印本頁] 作者: 中間時期 時間: 2025-3-21 18:59
書目名稱Logic, Rationality, and Interaction影響因子(影響力)
書目名稱Logic, Rationality, and Interaction影響因子(影響力)學(xué)科排名
書目名稱Logic, Rationality, and Interaction網(wǎng)絡(luò)公開度
書目名稱Logic, Rationality, and Interaction網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logic, Rationality, and Interaction被引頻次
書目名稱Logic, Rationality, and Interaction被引頻次學(xué)科排名
書目名稱Logic, Rationality, and Interaction年度引用
書目名稱Logic, Rationality, and Interaction年度引用學(xué)科排名
書目名稱Logic, Rationality, and Interaction讀者反饋
書目名稱Logic, Rationality, and Interaction讀者反饋學(xué)科排名
作者: Instrumental 時間: 2025-3-21 22:39 作者: 種屬關(guān)系 時間: 2025-3-22 02:51
Jie FanObjektivierbarem schwer. Der Atomphysiker Heisenberg schreibt aber z.B., da? das Objektivierbare nur ein kleiner Teil unserer Wirklichkeit ist (Heisenberg 1969). Nicht Objektivierbares als Wirklichkeit anzuerkennen wird aber weitgehend abgelehnt. Das Metaphysische mu? jedoch als eine Grunddimension 作者: Pastry 時間: 2025-3-22 06:05
Jingzhi Fang,Jiji Zhangische Rechenautomaten erfordern, sondern er m?chte vielmehr die Grenzen der für ihn ma?gebenden amtlichen Bestimmungen erkennen k?nnen und, für kompliziertere F?lle, eine Methode zur Verfügung haben, die sich auf die ihm gel?ufigen statischen Kenntnisse aufbaut. Eine solche steht ihm glücklicherweis作者: 假裝是你 時間: 2025-3-22 10:51 作者: intolerance 時間: 2025-3-22 13:31 作者: pulmonary-edema 時間: 2025-3-22 19:49 作者: Emg827 時間: 2025-3-23 00:12 作者: 一夫一妻制 時間: 2025-3-23 04:45 作者: 放肆的你 時間: 2025-3-23 08:16 作者: FLAGR 時間: 2025-3-23 11:49
,A Temporal Logic for?Successive Events,ear temporal logic with a new modality to capture the case that a sequence of events successively occurs. We compared the expressivity between this extended linear temporal logic and the standard linear temporal logic.作者: 圖表證明 時間: 2025-3-23 15:11
,On the?Finite Model Property of?Non-normal Modal Logics,.. We study the algebras corresponding to these logics and give some examples of them. We further introduce the Gentzen-style sequent calculi with soundness and completeness proved. Finally, we prove the FMP of these logics and thus decidability based on our systems by algebraic proof-theoretic methods.作者: aggrieve 時間: 2025-3-23 18:13 作者: DENT 時間: 2025-3-23 22:12
,Reasons in?Weighted Argumentation Graphs,favor of or against actions—and their interaction. The interaction between normative reasons is usually made sense of by appealing to the metaphor of (normative) weight scales. This paper substitutes an argumentation-theoretic model for this metaphor. The upshot is a general and precise model that is faithful to the philosophical ideas.作者: GRIN 時間: 2025-3-24 02:26
978-3-031-45557-5The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl作者: 不能仁慈 時間: 2025-3-24 07:21 作者: prediabetes 時間: 2025-3-24 14:31 作者: 豐富 時間: 2025-3-24 17:36
An Inferential Theory of Causal Reasoning,We present a general formalism of causal reasoning that encompasses both Pearl’s approach to causality and a number of key systems of nonmonotonic reasoning in artificial intelligence.作者: 字形刻痕 時間: 2025-3-24 21:31
,An Arrow-Based Dynamic Logic of?Normative Systems and?Its Decidability,Normative arrow update logic (NAUL) is a logic that combines normative temporal logic (NTL) and arrow update logic (AUL). In NAUL, norms are interpreted as arrow updates on labeled transition systems with a CTL-like logic. We show that the satisfiability problem of NAUL is decidable with a tableau method and it is in EXPSPACE.作者: 規(guī)范就好 時間: 2025-3-25 03:03
,Connexivity Meets Church and?Ackermann,Here we study two connexive logics based on one of the conditionals introduced by Church in [.] and on some negations defined through falsity constants in the sense of Ackermann in [.].作者: 欲望 時間: 2025-3-25 07:25 作者: 桶去微染 時間: 2025-3-25 10:53
Conference proceedings 2023, and goals; decision..making and planning; preference and utility; cooperation; strategic reasoning and..game theory; epistemology; social choice; social interaction; speech acts; knowledge..representation; norms and normative systems; natural language; rationality; philosophical.logic..作者: Exaggerate 時間: 2025-3-25 14:59
Conference proceedings 2023on, LORI 2023, held in Jinan, China, in October 2023..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 agency; argumentation and agreement; belief.represen作者: 不公開 時間: 2025-3-25 16:12
0302-9743 Interaction, LORI 2023, held in Jinan, China, in October 2023..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 agency; argumentation and agreement; belie作者: 刺激 時間: 2025-3-25 20:57
,Knowing the?Value of?a?Predicate,dditionally, we present two distinct semantics - MS (Mention-Some) semantics and MA (Mention-All) semantics - for the . operator, and prove the strong completeness theorem for two axiom systems containing only the . operator, as well as two axiom systems containing both the . and . operators.作者: 難聽的聲音 時間: 2025-3-26 01:09
,Non-labelled Sequent Calculi of?Public Announcement Expansions of?, and?,mination theorem fails in ., we adopt Takano’s strategy (1992) to establish that the cut formula in . can be restricted to the set of suitably extended subformulas (i.e., closure) of the conclusion of the cut rule.作者: 膽大 時間: 2025-3-26 05:18
,A Logical Description of?Priority Separable Games,such games can be described in Monadic Least Fixed Point Logic (MLFP). We then extend the description to games over arbitrarily many players, but using the monadic least fixed point extension of existential second order logic.作者: HUSH 時間: 2025-3-26 08:53 作者: Postmenopause 時間: 2025-3-26 13:55 作者: EWER 時間: 2025-3-26 17:31
,Unknown Truths and?Unknowable Truths,ms to be no logical research on unknowable truths. In this paper, we propose a logic of unknowable truths, investigate the logical properties of unknown truths and unknowable truths, which includes the similarities of the two notions and the relationship between the two notions, and axiomatize this logic.作者: anaerobic 時間: 2025-3-26 22:53 作者: 持續(xù) 時間: 2025-3-27 03:32
,Belief Base: A Minimal Logic of?Fine-Grained Information Dynamics,ion of static logic is established, upon which a series of dynamic operations are defined. It is argued that these dynamics adapt different scenarios. Our logic is minimal because to each agent we only attach two databases, from which a variety of epistemic attitudes are generated.作者: 種子 時間: 2025-3-27 08:32 作者: aviator 時間: 2025-3-27 12:59 作者: 中國紀(jì)念碑 時間: 2025-3-27 15:24
Jie Fan aus man unterscheidet, was für sein Leben wichtig ist oder nicht. Dieser Standpunkt kann sehr verschieden sein, besonders bei den Menschen in der Hochzivilisation. Die verschiedenen Religionen, Humanismus, Marxismus und sonstige Weltanschauungen seien hier genannt. Von diesem Standpunkt aus müssen 作者: 完全 時間: 2025-3-27 20:09
Jingzhi Fang,Jiji Zhangheint, diese noch durch ein neues Buch zu vermehren. Da jedoch in den letzten Jahren einerseits neue Erkenntnisse gewonnen wurden - wir denken dabei an die grundlegenden Arbeiten von SHANLEY, wie auch an die vermehrte Bedeutung des Drillknickens im Stahlleicht- bau - und anderseits verschiedene Staa作者: 獎牌 時間: 2025-3-27 22:00
Shiguang Fengessen erscheint, diese noch durch ein neues Buch zu vermehren. Da jedoch in den letzten Jahren einerseits neue Erkenntnisse gewonnen wurden - wir denken dabei an die grundlegenden Arbeiten von SHANLEY, wie auch an die vermehrte Bedeutung des Drillknickens im Stahlleicht- bau - und anderseits verschi作者: BRIDE 時間: 2025-3-28 03:27 作者: 競選運動 時間: 2025-3-28 08:07 作者: 委屈 時間: 2025-3-28 13:48
,Modal Logics with?Non-rigid Propositional Designators,s, they use only rigid propositional designators. This means they are not able to handle uncertainty in meaning directly at the sentential level. In this paper, we offer a modal language involving non-rigid propositional designators which can also carefully distinguish . and . use of these designato作者: 詼諧 時間: 2025-3-28 16:28 作者: 無力更進(jìn) 時間: 2025-3-28 19:19 作者: Arrhythmia 時間: 2025-3-29 01:26 作者: bioavailability 時間: 2025-3-29 06:47
Epistemic Monadic Boolean Algebras,c fragment of first-order epistemic logic is introduced for talking about knowing things. A Halmos-style representation of epistemic monadic Boolean algebras is established. Relativizations of epistemic monadic algebras are given for modelling updates. These logics are semantically complete.作者: Indelible 時間: 2025-3-29 08:03 作者: 半球 時間: 2025-3-29 14:27
,Metaphor Comprehension in?Situations,ntial. From the view of cognitive metaphor studies, the focus of metaphor formalization is no longer to describe the substitution of metaphorical meaning for literal meaning, but to consider the cognitive frames of concepts in conventional situations and the selection of information in specific cont作者: contrast-medium 時間: 2025-3-29 15:40
,A Temporal Logic for?Successive Events,ear temporal logic with a new modality to capture the case that a sequence of events successively occurs. We compared the expressivity between this extended linear temporal logic and the standard linear temporal logic.作者: GLIB 時間: 2025-3-29 23:00
,Non-labelled Sequent Calculi of?Public Announcement Expansions of?, and?,cursion axioms of PAL into left and right rules for the sequent calculi. For ., the cut elimination theorem is shown using the complexity measure introduced by van Ditmarsch et al. (2007). This measure was originally employed to establish semantic completeness via recursion axioms. While the cut eli作者: CHOIR 時間: 2025-3-30 01:10 作者: Proponent 時間: 2025-3-30 06:49
,Belief Base: A Minimal Logic of?Fine-Grained Information Dynamics,elief, implicit belief, awareness of and awareness that, where awareness of agents is not treated as a tacit premise. A sound and complete axiomatization of static logic is established, upon which a series of dynamic operations are defined. It is argued that these dynamics adapt different scenarios.作者: Choreography 時間: 2025-3-30 11:07
,Hyperintensionality in?Relevant Logics,al in this sense, drawing consequences for other non-classical logics, including . and some substructural logics. We further prove results concerning extensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these result作者: 蹣跚 時間: 2025-3-30 13:13
,Reasons in?Weighted Argumentation Graphs,favor of or against actions—and their interaction. The interaction between normative reasons is usually made sense of by appealing to the metaphor of (normative) weight scales. This paper substitutes an argumentation-theoretic model for this metaphor. The upshot is a general and precise model that i作者: 側(cè)面左右 時間: 2025-3-30 19:11
8樓作者: 顯微鏡 時間: 2025-3-30 21:23
8樓作者: Outshine 時間: 2025-3-31 03:45
8樓作者: agonist 時間: 2025-3-31 07:10
9樓作者: 安心地散步 時間: 2025-3-31 11:37
9樓作者: intimate 時間: 2025-3-31 16:08
9樓作者: BRAWL 時間: 2025-3-31 19:42
9樓作者: cartilage 時間: 2025-4-1 00:51
10樓作者: scotoma 時間: 2025-4-1 04:26
10樓作者: 逃避責(zé)任 時間: 2025-4-1 09:58
10樓作者: 突襲 時間: 2025-4-1 14:08
10樓
