reperfusion
发表于 2025-3-23 10:44:11
http://reply.papertrans.cn/29/2847/284621/284621_11.png
换话题
发表于 2025-3-23 14:59:11
http://reply.papertrans.cn/29/2847/284621/284621_12.png
减去
发表于 2025-3-23 19:17:25
Outstanding Contributions to Logichttp://image.papertrans.cn/e/image/284621.jpg
想象
发表于 2025-3-23 22:44:59
http://reply.papertrans.cn/29/2847/284621/284621_14.png
放大
发表于 2025-3-24 05:24:30
In this brief note, I discuss some general backgrounds of the well-known Fixed-Point Theorem for Provability Logic, taking my cues from an elegant abstract argument by Dick de Jongh in the 1980s.
不知疲倦
发表于 2025-3-24 07:40:41
Hypothetische Sätze und SchlüsseThe unification problem in a modal logic is to determine whether given formulas have instances belonging to this modal logic. In this paper, we survey some known results about the unification types of modal logics.
Platelet
发表于 2025-3-24 13:38:12
Notes on My Scientific Life,This is the autobiography of Dick de Jongh.
情感
发表于 2025-3-24 17:30:04
http://reply.papertrans.cn/29/2847/284621/284621_18.png
bronchiole
发表于 2025-3-24 22:10:27
http://reply.papertrans.cn/29/2847/284621/284621_19.png
ATOPY
发表于 2025-3-25 01:17:11
https://doi.org/10.1007/1-4020-3986-7 formulas whose principal connective is the intuitionistic Lewis arrow .. Our main motivation comes from metatheory of constructive arithmetic, but the systems in question allow several natural kinds of semantics. The first of these methods, inspired by de Jongh and Visser, turns out to yield a moda