Skip Navigation

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

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

Down Original Articles
Down Erratum
Down Corrigendum
Down Book Review
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

M. Sheremet, D. Tishkovsky, F. Wolter, and M. Zakharyaschev
A Logic for Concepts and Similarity
Journal of Logic and Computation Advance Access published on May 7, 2007
J Logic Computation 2007 17: 415-452; doi:10.1093/logcom/exm007 [Abstract] [Full Text] [PDF] [Request Permissions]  

Christian G. Fermüller and Reinhard Pichler
Model Representation over Finite and Infinite Signatures
Journal of Logic and Computation Advance Access published on March 21, 2007
J Logic Computation 2007 17: 453-477; doi:10.1093/logcom/exm008 [Abstract] [Full Text] [PDF] [Request Permissions]  

Sven Ove Hansson
Contraction Based on Sentential Selection
Journal of Logic and Computation Advance Access published on May 7, 2007
J Logic Computation 2007 17: 479-498; doi:10.1093/logcom/exm010 [Abstract] [Full Text] [PDF] [Request Permissions]  

Magdalena Ortiz and Mauricio Osorio
Strong Negation and Equivalence in the Safe Belief Semantics
Journal of Logic and Computation Advance Access published on April 17, 2007
J Logic Computation 2007 17: 499-515; doi:10.1093/logcom/exm011 [Abstract] [Full Text] [PDF] [Request Permissions]  

Thomas Bolander and Patrick Blackburn
Termination for Hybrid Tableaus
J Logic Computation 2007 17: 517-554; doi:10.1093/logcom/exm014 [Abstract] [Full Text] [PDF] [Request Permissions]  

Alexandru Baltag, Bob Coecke, and Mehrnoosh Sadrzadeh
Epistemic Actions as Resources
Journal of Logic and Computation Advance Access published on May 30, 2007
J Logic Computation 2007 17: 555-585; doi:10.1093/logcom/exm015 [Abstract] [Full Text] [PDF] [Request Permissions]  

Emil Jerábek
On Independence of Variants of the Weak Pigeonhole Principle
Journal of Logic and Computation Advance Access published on May 30, 2007
J Logic Computation 2007 17: 587-604; doi:10.1093/logcom/exm017 [Abstract] [Full Text] [PDF] [Request Permissions]  

Erratum Back

An Institution-independent Generalization of Tarski's Elementary Chain Theorem
J Logic Computation 2007 17: 605; doi:10.1093/logcom/exm022 [Full Text] [PDF] [Request Permissions]  

Corrigendum Back

Logics with Common Weak Completions
J Logic Computation 2007 17: 607; doi:10.1093/logcom/exm023 [Full Text] [PDF] [Request Permissions]  

Book Review Back

Valery Plisko
Review of Classical Mathematical Logic: The Semantic Foundations of Logic, by Richard L. Epstein, With contributions by Leslaw W. Szczerba
Journal of Logic and Computation Advance Access published on April 2, 2007
J Logic Computation 2007 17: 609; doi:10.1093/logcom/exm016 [Full Text] [PDF] [Request Permissions]  

Books Received Back

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

Forthcoming Papers Back

Forthcoming Papers
J Logic Computation 2007 17: 613-614; doi:10.1093/logcom/exm025 [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.