Skip Navigation

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

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

Down Editorial
Down Original Articles
Down Books Received
Down Forthcoming Papers
Down Forthcoming Special Issues


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

Editorial Back

Ian Horrocks
Logic for Ontology Engineering Corner
J Logic Computation 2007 17: 615; doi:10.1093/logcom/exm028 [Full Text] [PDF] [Request Permissions]  

Original Articles Back

Boris Motik
On the Properties of Metamodeling in OWL
J Logic Computation 2007 17: 617-637; doi:10.1093/logcom/exm027 [Abstract] [Full Text] [PDF] [Request Permissions]  

Jeremy Forth and Rob Miller
Ramifications: An Extension and Correspondence Result for the Event Calculus
Journal of Logic and Computation Advance Access published on June 4, 2007
J Logic Computation 2007 17: 639-685; doi:10.1093/logcom/exm018 [Abstract] [Full Text] [PDF] [Request Permissions]  

N. Biri and D. Galmiche
Models and Separation Logics for Resource Trees
Journal of Logic and Computation Advance Access published on June 27, 2007
J Logic Computation 2007 17: 687-726; doi:10.1093/logcom/exm019 [Abstract] [Full Text] [PDF] [Request Permissions]  

Zhaohui Zhu and Wenjie Xiao
Two Representation Theorems for Non-monotonic Inference Relations
Journal of Logic and Computation Advance Access published on August 6, 2007
J Logic Computation 2007 17: 727-747; doi:10.1093/logcom/exm020 [Abstract] [Full Text] [PDF] [Request Permissions]  

Stefano Aguzzoli, Manuela Busaniche, and Vincenzo Marra
Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
Journal of Logic and Computation Advance Access published on June 4, 2007
J Logic Computation 2007 17: 749-765; doi:10.1093/logcom/exm021 [Abstract] [Full Text] [PDF] [Request Permissions]  

Rajeev Goré and Alwen Tiu
Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5
Journal of Logic and Computation Advance Access published on August 6, 2007
J Logic Computation 2007 17: 767-794; doi:10.1093/logcom/exm026 [Abstract] [Full Text] [PDF] [Request Permissions]  

Joseph Y. Halpern and Leandro Chaves Rêgo
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
J Logic Computation 2007 17: 795-806; doi:10.1093/logcom/exm029 [Abstract] [Full Text] [PDF] [Request Permissions]  

Joey W. Coleman and Cliff B. Jones
A Structural Proof of the Soundness of Rely/guarantee Rules
Journal of Logic and Computation Advance Access published on August 6, 2007
J Logic Computation 2007 17: 807-841; doi:10.1093/logcom/exm030 [Abstract] [Full Text] [PDF] [Request Permissions]  

Books Received Back

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

Forthcoming Papers Back

Forthcoming Papers
J Logic Computation 2007 17: 845; doi:10.1093/logcom/exm058 [Full Text] [PDF] [Request Permissions]  

Forthcoming Special Issues Back

Forthcoming Special Issues
J Logic Computation 2007 17: 845; doi:10.1093/logcom/exm059 [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.