http://reply.papertrans.cn/3/211/21020/21020-11.png
Submitted on: 26 April 2014.
Revised on: 23 May 2014.
Accepted on: 13 June 2014.
LOGIC JOURNAL OF THE IGPL
http://reply.papertrans.cn/3/211/21020/21020-13.png
http://reply.papertrans.cn/3/211/21020/21020-14.png
Submitted on: 08 June 2016.
Revised on: 30 June 2016.
Accepted on: 25 July 2016.
LOGIC JOURNAL OF THE IGPL
http://reply.papertrans.cn/3/211/21020/21020-16.png
http://reply.papertrans.cn/3/211/21020/21020-17.png
http://reply.papertrans.cn/3/211/21020/21020-18.png
Submitted on: 12 December 2014.
Revised on: 19 January 2015.
Accepted on: 10 February 2015.
LOGIC JOURNAL OF THE IGPL---OXFORD UNIV PRESS
Submitted on: 16 July 2001.
Revised on: 21 August 2001.
Accepted on: 17 September 2001.
LOGIC JOURNAL OF THE IGPL