都相信我的话
发表于 2025-3-28 15:42:34
1386-2790 LOV Modal Logics of Arrows 137 HEINRICH WANSING A Full-Circle Theorem for Simple Tense Logic 173 MICHAEL ZAKHARYASCHEV Canonical Formulas for Modal and Superint978-90-481-4897-4978-94-015-8879-9Series ISSN 1386-2790
蜈蚣
发表于 2025-3-28 21:37:14
http://reply.papertrans.cn/15/1486/148566/148566_42.png
intelligible
发表于 2025-3-28 23:22:23
Book 1997of Schemes for First-Order Theories and Poly-Modal Propositional Logic 93 JERRY SELIGMAN The Logic of Correct Description 107 DIMITER VAKARELOV Modal Logics of Arrows 137 HEINRICH WANSING A Full-Circle Theorem for Simple Tense Logic 173 MICHAEL ZAKHARYASCHEV Canonical Formulas for Modal and Superint
malign
发表于 2025-3-29 06:30:41
http://reply.papertrans.cn/15/1486/148566/148566_44.png
jungle
发表于 2025-3-29 09:59:00
http://reply.papertrans.cn/15/1486/148566/148566_45.png