Skip Navigation

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

Contents: Volume 11, Number 6, 2003   [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

Dov M. Gabbay and John Woods

Logic Jnl IGPL 2003 11: 597-613; doi:10.1093/jigpal/11.6.597 [Abstract] [PDF] [Request Permissions]  

Ichiro Hasuo and Ryo Kashima

Logic Jnl IGPL 2003 11: 615-646; doi:10.1093/jigpal/11.6.615 [Abstract] [PDF] [Request Permissions]  

Mateja Jamnik, Manfred Kerber, Martin Pollet, and Christoph Benzmüller

Logic Jnl IGPL 2003 11: 647-673; doi:10.1093/jigpal/11.6.647 [Abstract] [PDF] [Request Permissions]  

Neil Tennant

Logic Jnl IGPL 2003 11: 675-693; doi:10.1093/jigpal/11.6.675 [Abstract] [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.