Journal of Logic and Computation

Articles

Xizhong Zheng

On the Turing Degrees of Weakly Computable Real Numbers
J Logic Computation 2003 13: 159-172; doi:10.1093/logcom/13.2.159 [Abstract] [PDF] [Request Permissions]  

Giovanna D'Agostino

Characterizing Interpolation Pairs in Infinitary Graded Logics
J Logic Computation 2003 13: 173-193; doi:10.1093/logcom/13.2.173 [Abstract] [PDF] [Request Permissions]  

Howard Bowman and Simon Thompson

A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
J Logic Computation 2003 13: 195-239; doi:10.1093/logcom/13.2.195 [Abstract] [PDF] [Request Permissions]  

Franco Montagna, G. Michele Pinna, and Elisa B. P. Tiezzi

A Tableau Calculus for Hájek's Logic BL
J Logic Computation 2003 13: 241-259; doi:10.1093/logcom/13.2.241 [Abstract] [PDF] [Request Permissions]  

Wafik Boulos Lotfallah

On the Complexity of the First-order Random Theory
J Logic Computation 2003 13: 261-271; doi:10.1093/logcom/13.2.261 [Abstract] [PDF] [Request Permissions]  

Risto Kaila

On Almost Sure Elimination of Numerical Quantifiers
J Logic Computation 2003 13: 273-285; doi:10.1093/logcom/13.2.273 [Abstract] [PDF] [Request Permissions]  

María Alpuente, Moreno Falaschi, Pascual Julián, and Germán Vidal

Uniform Lazy Narrowing
J Logic Computation 2003 13: 287-312; doi:10.1093/logcom/13.2.287 [Abstract] [PDF] [Request Permissions]  

R. Banach

Review: Refinement in Z and object-Z: Foundations and Advanced Applications
J Logic Computation 2003 13: 313-314; doi:10.1093/logcom/13.2.313 [PDF] [Request Permissions]  

Books Received
J Logic Computation 2003 13: 315; doi:10.1093/logcom/13.2.315 [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.