Journal of Logic and Computation

Corner Descriptions

Corner Descriptions
J Logic Computation 2007 17: 1-4; doi:10.1093/logcom/exm004 [Full Text] [PDF] [Request Permissions]  

Non-classical Logics Corner

Heinrich Wansing

Introduction and Call for Papers
J Logic Computation 2007 17: 5; doi:10.1093/logcom/exl022 [Full Text] [PDF] [Request Permissions]  

Sebastian Bauer

Axiomatizing the Monodic Fragment of
Journal of Logic and Computation Advance Access published on October 10, 2006
J Logic Computation 2007 17: 7-30; doi:10.1093/logcom/exl021 [Abstract] [Full Text] [PDF] [Request Permissions]  

Original Articles

Víctor Dalmau, Andrei Krokhin, and Benoit Larose

First-order Definable Retraction Problems for Posets and Reflexive Graphs
Journal of Logic and Computation Advance Access published on August 23, 2006
J Logic Computation 2007 17: 31-51; doi:10.1093/logcom/exl014 [Abstract] [Full Text] [PDF] [Request Permissions]  

Marcelo Finger and Renata Wassermann

Anytime Approximations of Classical Logic from Above
Journal of Logic and Computation Advance Access published on September 1, 2006
J Logic Computation 2007 17: 53-82; doi:10.1093/logcom/exl018 [Abstract] [Full Text] [PDF] [Request Permissions]  

Thomas Ågotnes and Natasha Alechina

The Dynamics of Syntactic Knowledge
Journal of Logic and Computation Advance Access published on October 10, 2006
J Logic Computation 2007 17: 83-116; doi:10.1093/logcom/exl019 [Abstract] [Full Text] [PDF] [Request Permissions]  

Mark Reynolds

A Tableau for Bundled CTL
Journal of Logic and Computation Advance Access published on September 16, 2006
J Logic Computation 2007 17: 117-132; doi:10.1093/logcom/exl033 [Abstract] [Full Text] [PDF] [Request Permissions]  

Ian Pratt-Hartmann

Complexity of the Guarded Two-variable Fragment with Counting Quantifiers
Journal of Logic and Computation Advance Access published on September 26, 2006
J Logic Computation 2007 17: 133-155; doi:10.1093/logcom/exl034 [Abstract] [Full Text] [PDF] [Request Permissions]  

Francesco Ranzato and Francesco Tapparo

Generalized Strong Preservation by Abstract Interpretation
Journal of Logic and Computation Advance Access published on December 26, 2006
J Logic Computation 2007 17: 157-197; doi:10.1093/logcom/exl035 [Abstract] [Full Text] [PDF] [Request Permissions]  

Wojciech Buszkowski

On Action Logic: Equational Theories of Action Algebras
Journal of Logic and Computation Advance Access published on October 28, 2006
J Logic Computation 2007 17: 199-217; doi:10.1093/logcom/exl036 [Abstract] [Full Text] [PDF] [Request Permissions]  

Forthcoming Papers

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