Skip Navigation

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

Cover Image
Other Issues:
Previous Next 		Contents: Volume 17, Number 2, April 2007   [Index by Author] 

Down Original Articles
Down Books Received
Down Forthcoming Papers


[Search ALL Issues]

Table of Contents (PDF)

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.

Original Articles Back

Altaf Hussain
A New Modal Approach to the Logic of Intervals
J Logic Computation 2007 17: 221-254; doi:10.1093/logcom/exl007 [Abstract] [Full Text] [PDF] [Request Permissions]  

R. Hirsch
Peirce Algebras and Boolean Modules
Journal of Logic and Computation Advance Access published on January 3, 2007
J Logic Computation 2007 17: 255-283; doi:10.1093/logcom/exl037 [Abstract] [Full Text] [PDF] [Request Permissions]  

Benedikt Löwe and Brian Semmes
The Extent of Constructive Game Labellings
Journal of Logic and Computation Advance Access published on December 26, 2006
J Logic Computation 2007 17: 285-298; doi:10.1093/logcom/exl039 [Abstract] [Full Text] [PDF] [Request Permissions]  

Wojciech Zielonka
On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String
Journal of Logic and Computation Advance Access published on December 27, 2006
J Logic Computation 2007 17: 299-310; doi:10.1093/logcom/exl041 [Abstract] [Full Text] [PDF] [Request Permissions]  

Enrico Marchioni and Franco Montagna
Complexity and Definability Issues in LFormula
Journal of Logic and Computation Advance Access published on January 23, 2007
J Logic Computation 2007 17: 311-331; doi:10.1093/logcom/exl044 [Abstract] [Full Text] [PDF] [Request Permissions]  

Ben Moszkowski
Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
J Logic Computation 2007 17: 333-409; doi:10.1093/logcom/exm006 [Abstract] [Full Text] [PDF] [Request Permissions]  

Books Received Back

Books Received
J Logic Computation 2007 17: 411; doi:10.1093/logcom/exm012 [Full Text] [PDF] [Request Permissions]  

Forthcoming Papers Back

Forthcoming Papers
J Logic Computation 2007 17: 413-414; doi:10.1093/logcom/exm013 [Full Text] [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.