Skip Navigation

Receive this page by email each issue: [Sign up for eTOCs]

Contents: Volume 11, Number 6, 2001   [Index by Author] 
Other Issues: Previous Next  

Down Articles


[Search ALL Issues]

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.

Articles Back

Heinrich Wansing

J Logic Computation 2001 11: 759-760; doi:10.1093/logcom/11.6.759 [PDF] [Request Permissions]  

Yaroslav Shramko, J. Michael Dunn, and Tatsutoshi Takenaka

J Logic Computation 2001 11: 761-788; doi:10.1093/logcom/11.6.761 [Abstract] [PDF] [Request Permissions]  

Sam Steel

J Logic Computation 2001 11: 789-827; doi:10.1093/logcom/11.6.789 [Abstract] [PDF] [Request Permissions]  

Francesca Levi

J Logic Computation 2001 11: 829-878; doi:10.1093/logcom/11.6.829 [Abstract] [PDF] [Request Permissions]  

Marcus Kracht

J Logic Computation 2001 11: 879-907; doi:10.1093/logcom/11.6.879 [Abstract] [PDF] [Request Permissions]  

Mark Reynolds and Michael Zakharyaschev

J Logic Computation 2001 11: 909-931; doi:10.1093/logcom/11.6.909 [Abstract] [PDF] [Request Permissions]  

Stéphane Demri

J Logic Computation 2001 11: 933-960; doi:10.1093/logcom/11.6.933 [Abstract] [PDF] [Request Permissions]  

Richard E. Overill

J Logic Computation 2001 11: 961; doi:10.1093/logcom/11.6.961 [PDF] [Request Permissions]  

Richard E. Overill

J Logic Computation 2001 11: 961-962; doi:10.1093/logcom/11.6.961-a [PDF] [Request Permissions]  

Vladimir Zakharov

J Logic Computation 2001 11: 962-964; doi:10.1093/logcom/11.6.962 [PDF] [Request Permissions]  


J Logic Computation 2001 11: 965; doi:10.1093/logcom/11.6.965 [PDF] [Request Permissions]  


J Logic Computation 2001 11: 967-968; doi:10.1093/logcom/11.6.967 [PDF] [Request Permissions]  

Gerhard Brewka and Gerard Vreeswijk

J Logic Computation 2001 11: 969; doi:10.1093/logcom/11.6.969 [PDF] [Request Permissions]  


J Logic Computation 2001 11: 973; doi:10.1093/logcom/11.6.973 [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.