Skip Navigation

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

Contents: Volume 10, Number 1, 2000   [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

D Gabbay and J Woods

J Logic Computation 2000 10: 1-2; doi:10.1093/logcom/10.1.1 [PDF] [Request Permissions]  

PG Harrison and B Strulo

J Logic Computation 2000 10: 3-42; doi:10.1093/logcom/10.1.3 [Abstract] [PDF] [Request Permissions]  

MC Henson and S Reeves

J Logic Computation 2000 10: 43-73; doi:10.1093/logcom/10.1.43 [Abstract] [PDF] [Request Permissions]  

M Bugliesi, G Delzanno, L Liquori, and M Martelli

J Logic Computation 2000 10: 75-104; doi:10.1093/logcom/10.1.75 [Abstract] [PDF] [Request Permissions]  

KU Schulz

J Logic Computation 2000 10: 105-135; doi:10.1093/logcom/10.1.105 [Abstract] [PDF] [Request Permissions]  

P Blackburn

J Logic Computation 2000 10: 137-168; doi:10.1093/logcom/10.1.137 [Abstract] [PDF] [Request Permissions]  


J Logic Computation 2000 10: 169; doi:10.1093/logcom/10.1.169 [PDF] [Request Permissions]  


J Logic Computation 2000 10: 171-172; doi:10.1093/logcom/10.1.171 [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.