译文集：Modality on the Move
:arrow: http://www.illc.uva.nl/lgc/Translation/
作 者：Johan van Benthem
http://staff.science.uva.nl/~johan/

译 者：
余俊伟[中国人民大学哲学院]
胡义昭[中国社会科学院哲学所]
刘奋荣[中国社会科学院哲学所]
刘新文[中国社会科学院哲学所]
裘江杰[北京大学哲学系]
郭佳宏[北京师范大学哲学与社会学学院]
郭美云[西南大学逻辑与智能中心]

#动态#

2008.6：“逻辑之门：约翰·范本特姆经典著作集”卷一《逻辑、信息和互动》由科学出版社出版。
:!: 2007.5.21：Workshop of Modality on the Move初步定在8月1日在中国人民大学举行，具体地点待定；时间和地点以及相关内容将在论坛的“新闻平台”发布。欢迎参加！！！
http://staff.science.uva.nl/~fenrong/workshop2007/index.html
2007.4.20：人名索引初稿完成[附在本页面最下端]。
2007.3.28：译文初校完成。在工作过程中，我们非常意外但愉快地获得了范·本特姆教授赠送的《模态逻辑手册》：
http://www.elsevier.com/wps/find/bookdescription.cws_home/708884/description#description
2006.10.16：《模态逻辑》教材的索引译文草稿已经完成，[但是无法上传]。
2006.10.13：《模态逻辑》教材的索引译文即将上传。

目 录

一、General modal logic

1. “Modal Correspondence Theory,” reprint with addenda, in D. Gabbay, ed., Handbook of Philosophical Logic, vol. III., second edition, Kluwer, Dordrecht, 325-408, 1999. (by Junwei Yu, 32,000).

2. “Modal Logic in Two Gestalts,” in M. de Rijke, H. Wansing & M. Zakharyashev, eds., Advances in Modal logic II, Uppsala 1998, CSLI Publications, Stanford, 73-100. (by Xinwen Liu, 10,426).

3. “Guards, Bounds and Generalized Semantics,” Journal of Logic, Language and Information (2005) 14: 263-279. (by Xinwen Liu, 6,645).

二、Modal logic and computation

1. “A Note on Dynamic Arrow Logic,” In J. van Eijck and A. Visser, editors, Logic and Information Flow, pages 15-29. MIT Press, Cambridge, 1994. (by Xinwen Liu, 5,538).

2. “Modal Foundations for Predicate Logic,” Logic Journal of IGPL (1997) 5(2): 259-286. (by Jiangjie Qiu, 13,063).

3. “Program Constructions that are Safe for Bisimulation,” Studia Logica (1998) 60: 311-330. (by Jiangjie Qiu, 6,734).

三、Modal logic and information

1. “One is a Lonely Number: on the Logic of Communication,” In Z. Chatzidakis, P. Koepke & W. Pohlers, eds., 2006, Logic Colloquium '02, ASL & A.K. Peters, Wellesley MA, 96-129. (by Meiyun Guo, 13,033).

2. “Dynamic Logic of Belief Revision,” to appear in the Journal of Applied Non-Classical Logics 2006. (by Meiyun Guo, 6,257).

3. “Dynamic Logic of Preference Upgrade,” to appear in the Journal of Applied Non-Classical Logics 2006. (Jiahong Guo, 7,293).

四、Modal logic and games

1. “Games in Dynamic-Epistemic Logic,” Bulletin of Economic Research (2000) 53(4): 219-248. (by Fenrong Liu, 9,820).

2. “Extensive Games as Process Models,” Journal of Logic, Language and Information (2002) 11, 289-313. (by Meiyun Guo, 9,130).

3. “Logic Games are Complete for Game Logics,” Studia Logica (2003) 75, 183-203. (by Fenrong Liu, 7,969).

4. “Rational Dynamics and Epistemic Logic in Games.” (by Jiahong Guo, 12,122).

Important notification

1. Important Dates: The first version ready for checking by Feb 1, 2007; Finish checking by March 15, 2007.

2. van Benthem is happy to explain any questions you may have when translating those works, please feel free to email him. But do remember to accumulate questions first. His email address is johan_at_science.uva.nl.

3. Please send your comments or suggestions to fenrong_at_science.uva.nl.

[谢谢浏览！本帖在论文集的翻译过程中将持续更新，敬请关注！欢迎任何形式的批评和建议！]

+==+==+==+==+==+==+==+==+==+==+==+==+==+