梯田 发表于 2025-3-30 08:29:44
http://reply.papertrans.cn/23/2296/229527/229527_51.pngDictation 发表于 2025-3-30 13:58:17
http://reply.papertrans.cn/23/2296/229527/229527_52.png走调 发表于 2025-3-30 19:34:00
http://reply.papertrans.cn/23/2296/229527/229527_53.pngencyclopedia 发表于 2025-3-30 22:33:52
,An Exposition and Development of Kanger’s Early Semantics for Modal Logic,88. He received his Ph. D. from Stockholm University in 1957 under the supervision of Anders Wedberg. Kanger’s dissertation, . was remarkably short, only 47 pages, but also very rich in new ideas and results. By combining Gentzen-style techniques with a model theory à la Tarski, Kanger obtained new