Journal of Logic and Computation

Original Articles

Vinay Deolalikar, Joel David Hamkins, and Ralf Schindler

P NP co-NP for Infinite Time Turing Machines
J Logic Computation 2005 15: 577-592; doi:10.1093/logcom/exi022 [Abstract] [PDF] [Request Permissions]  

James P. Delgrande and Torsten Schaub

Expressing Default Logic Variants in Default Logic
J Logic Computation 2005 15: 593-621; doi:10.1093/logcom/exi021 [Abstract] [PDF] [Request Permissions]  

Raymond Turner

The Foundations of Specification
J Logic Computation 2005 15: 623-662; doi:10.1093/logcom/exi052 [Abstract] [PDF] [Request Permissions]  

Vladimir Rybakov

Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
J Logic Computation 2005 15: 663-678; doi:10.1093/logcom/exi025 [Abstract] [PDF] [Request Permissions]  

Jonathan Ben-Naim

Pivotal and Pivotal-discriminative Consequence Relations
J Logic Computation 2005 15: 679-700; doi:10.1093/logcom/exi030 [Abstract] [PDF] [Request Permissions]  

Ernest Davis and Leora Morgenstern

A First-order Theory of Communication and Multi-agent Plans
J Logic Computation 2005 15: 701-749; doi:10.1093/logcom/exi027 [Abstract] [PDF] [Request Permissions]  

Jonathan Westphal and Jim Hardy

Logic as a Vector System
J Logic Computation 2005 15: 751-765; doi:10.1093/logcom/exi040 [Abstract] [PDF] [Request Permissions]  

Stéphane Demri

A Reduction from DLP to PDL
J Logic Computation 2005 15: 767-785; doi:10.1093/logcom/exi043 [Abstract] [PDF] [Request Permissions]  

Mauricio Osorio Galindo, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, and Verónica Borja Macías

Ground Nonmonotonic Modal Logic S5: New Results
J Logic Computation 2005 15: 787-813; doi:10.1093/logcom/exi042 [Abstract] [PDF] [Request Permissions]  

Book Reviews

Richard E. Overill

Review: Advances in Elliptic Curve Cryptography
J Logic Computation 2005 15: 815; doi:10.1093/logcom/exi047 [PDF] [Request Permissions]  

Forthcoming Papers

Forthcoming Papers
J Logic Computation 2005 15: 817-818; doi:10.1093/logcom/exi049 [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.