Submitted on: 23 March 2006.
Revised on: 17 April 2006.
Accepted on: 28 April 2006.
Revue de Synthese
Submitted on: 01 October 2012.
Revised on: 25 October 2012.
Accepted on: 20 November 2012.
Revue de Synthese
Submitted on: 11 September 2007.
Revised on: 28 September 2007.
Accepted on: 19 October 2007.
Revue de Synthese---BRILL
http://reply.papertrans.cn/3/272/27145/27145-24.png
Submitted on: 28 March 2009.
Revised on: 10 May 2009.
Accepted on: 05 June 2009.
Revue de Synthese---BRILL
http://reply.papertrans.cn/3/272/27145/27145-26.png
http://reply.papertrans.cn/3/272/27145/27145-27.png
Submitted on: 15 April 2004.
Revised on: 22 May 2004.
Accepted on: 06 June 2004.
Revue de Synthese---BRILL
Submitted on: 16 January 2009.
Revised on: 17 February 2009.
Accepted on: 16 March 2009.
Revue de Synthese
http://reply.papertrans.cn/3/272/27145/27145-30.png