Skip Navigation

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

Cover Image
Other Issues:
Previous Next
Contents: Volume 15, Number 6, December 2005   [Index by Author] 

Down Editorial
Down Original Articles
Down Books Received
Down Forthcoming Papers
Down Acknowledgements
Down Author Index
Down Contents for Volume 15


[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.

Editorial Back

David Pym

J Logic Computation 2005 15: 819; doi:10.1093/logcom/exh054 [PDF] [Request Permissions]  

Original Articles Back

Mary DeMarco and Jame Lipton

J Logic Computation 2005 15: 821-854; doi:10.1093/logcom/exi055 [Abstract] [PDF] [Request Permissions]  

Eduardo Bonelli, Delia Kesner, and Alejandro Rios

J Logic Computation 2005 15: 855-899; doi:10.1093/logcom/exi051 [Abstract] [PDF] [Request Permissions]  

Eduardo Bonelli, Delia Kesner, and Alejandro Rios

J Logic Computation 2005 15: 901-947; doi:10.1093/logcom/exi050 [Abstract] [PDF] [Request Permissions]  

Klaus Glashoff

J Logic Computation 2005 15: 949-973; doi:10.1093/logcom/exi048 [Abstract] [PDF] [Request Permissions]  

Gem Stapleton, John Howse, and John Taylor

J Logic Computation 2005 15: 975-1008; doi:10.1093/logcom/exi041 [Abstract] [PDF] [Request Permissions]  

Henry Prakken

J Logic Computation 2005 15: 1009-1040; doi:10.1093/logcom/exi046 [Abstract] [PDF] [Request Permissions]  

Artur S. D'Avila Garcez, Dov M. Gabbay, and Luis C. Lamb

J Logic Computation 2005 15: 1041-1058; doi:10.1093/logcom/exi057 [Abstract] [PDF] [Request Permissions]  

Sergei Artemov and Elena Nogina

J Logic Computation 2005 15: 1059-1073; doi:10.1093/logcom/exi053 [Abstract] [PDF] [Request Permissions]  

Trevor Bench-Capon, Katie Atkinson, and Alison Chorley

J Logic Computation 2005 15: 1075-1097; doi:10.1093/logcom/exi058 [Abstract] [PDF] [Request Permissions]  

Books Received Back


J Logic Computation 2005 15: 1099; doi:10.1093/logcom/exi063 [PDF] [Request Permissions]  

Forthcoming Papers Back


J Logic Computation 2005 15: 1101-1102; doi:10.1093/logcom/exi059 [PDF] [Request Permissions]  

Acknowledgements Back


J Logic Computation 2005 15: 1103; doi:10.1093/logcom/exi060 [PDF] [Request Permissions]  

Author Index Back


J Logic Computation 2005 15: 1105; doi:10.1093/logcom/exi061 [PDF] [Request Permissions]  

Contents for Volume 15 Back


J Logic Computation 2005 15: 1107-1110; doi:10.1093/logcom/exi062 [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.