欢乐中国
发表于 2025-4-1 05:27:58
Allison M. Gurung,Edwin C. K. Pangd, recently Prawitz and others have been discussing the so called ecumenical Systems, where connectives from these logics can co-exist in peace. In Prawitz’ system, the classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation, and the constant fo
Pulmonary-Veins
发表于 2025-4-1 06:04:20
M. B. Ratnaparkhe,R. J. Singh,J. J. Doyleepistemic logic. It was shown elsewhere that the logical laws governing the modalities of knowing and entertaining from standard inquisitive epistemic logic generalize smoothly to substructural logics. In this paper we show that the situation is different with the reduction axioms that in the standa
举止粗野的人
发表于 2025-4-1 12:25:24
http://reply.papertrans.cn/29/2837/283630/283630_63.png
小故事
发表于 2025-4-1 15:28:51
John A. Bryant,Stephen G. Hughese, . (DK) is often taken to reflect the potential knowledge of a group: what agents . know if they had unbounded means of communication and deductive ability. However, this does not specify whether/how this potential can be actualized, especially since real people are not unbounded reasoners. Inspir
战役
发表于 2025-4-1 20:42:31
M. B. Ratnaparkhe,R. J. Singh,J. J. Doylenowledge, propositional dynamic logic with intersection, and description logics with concept intersection. Completeness proofs for such logics tend to be complicated, in particular on model classes such as S5 used, e.g., in standard epistemic logic, mainly due to the undefinability of intersection o