Journal of Logic and Computation

Preface

Nicola Olivetti

Preface
J Logic Computation 2010 20: 1-3; doi:10.1093/logcom/exn057 [PDF] [Request Permissions]  

Original Articles

Get checked abstract Franz Baader and Rafael Peñaloza

Axiom Pinpointing in General Tableaux
Journal of Logic and Computation Advance Access published on November 13, 2008
J Logic Computation 2010 20: 5-34; doi:10.1093/logcom/exn058 [Abstract] [PDF] [References] [Request Permissions]  

Get checked abstract Matthias Baaz and George Metcalfe

Herbrand's Theorem, Skolemization and Proof Systems for First-Order ukasiewicz Logic
Journal of Logic and Computation Advance Access published on November 17, 2008
J Logic Computation 2010 20: 35-54; doi:10.1093/logcom/exn059 [Abstract] [PDF] [References] [Request Permissions]  

Get checked abstract Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, and Tiago de Lima

Tableaux for Public Announcement Logic
Journal of Logic and Computation Advance Access published on November 21, 2008
J Logic Computation 2010 20: 55-76; doi:10.1093/logcom/exn060 [Abstract] [PDF] [References] [Request Permissions]  

Get checked abstract Peter Baumgartner, Ulrich Furbach, and Björn Pelzer

The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
Journal of Logic and Computation Advance Access published on November 29, 2008
J Logic Computation 2010 20: 77-109; doi:10.1093/logcom/exn061 [Abstract] [PDF] [References] [Request Permissions]  

Get checked abstract Shoham Ben-David, Richard Trefler, and Grant Weddell

Model Checking Using Description Logic
Journal of Logic and Computation Advance Access published on November 13, 2008
J Logic Computation 2010 20: 111-131; doi:10.1093/logcom/exn062 [Abstract] [PDF] [References] [Request Permissions]  

Get checked abstract Davide Bresolin, Valentin Goranko, Angelo Montanari, and Pietro Sala

Tableaux for Logics of Subinterval Structures over Dense Orderings
Journal of Logic and Computation Advance Access published on December 23, 2008
J Logic Computation 2010 20: 133-166; doi:10.1093/logcom/exn063 [Abstract] [PDF] [References] [Request Permissions]  

Get checked abstract Marcelo Finger

Analytic Methods for the Logic of Proofs
Journal of Logic and Computation Advance Access published on November 16, 2008
J Logic Computation 2010 20: 167-188; doi:10.1093/logcom/exn065 [Abstract] [PDF] [References] [Request Permissions]  

Get checked abstract Didier Galmiche and Daniel Méry

Tableaux and Resource Graphs for Separation Logic
Journal of Logic and Computation Advance Access published on January 8, 2009
J Logic Computation 2010 20: 189-231; doi:10.1093/logcom/exn066 [Abstract] [PDF] [References] [Request Permissions]  

Get checked abstract Rajeev Goré and Linda Postniece

Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
Journal of Logic and Computation Advance Access published on November 16, 2008
J Logic Computation 2010 20: 233-260; doi:10.1093/logcom/exn067 [Abstract] [PDF] [References] [Request Permissions]  

Get checked abstract Neil V. Murray and Erik Rosenthal

Reduced Implicate Tries with Updates
Journal of Logic and Computation Advance Access published on November 20, 2008
J Logic Computation 2010 20: 261-281; doi:10.1093/logcom/exn068 [Abstract] [PDF] [References] [Request Permissions]  

Get checked abstract Nicolas Peltier

Bottom-up Construction of Semantic Tableaux
Journal of Logic and Computation Advance Access published on November 13, 2008
J Logic Computation 2010 20: 283-308; doi:10.1093/logcom/exn069 [Abstract] [PDF] [References] [Request Permissions]  

Get checked abstract André Platzer

Differential-algebraic Dynamic Logic for Differential-algebraic Programs
Journal of Logic and Computation Advance Access published on November 18, 2008
J Logic Computation 2010 20: 309-352; doi:10.1093/logcom/exn070 [Abstract] [PDF] [References] [Request Permissions]  

Get checked abstract Regimantas Pliuskevicius and Aida Pliuskeviciene

A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4
Journal of Logic and Computation Advance Access published on November 17, 2008
J Logic Computation 2010 20: 353-379; doi:10.1093/logcom/exn071 [Abstract] [PDF] [References] [Request Permissions]  

Corrigendum

Regimantas Pliuskevicius and Aida Pliuskeviciene

A New Method to Obtain Termination in Backward Proof Search for Modal Logic S4
J Logic Computation 2010 20: 381-387; doi:10.1093/logcom/exp051 [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.