Logic Journal of IGPL

Original Articles

Tomasz Polacik

The Unique Intermediate Logic Whose Every Rule is Archetypal
Logic Jnl IGPL 2005 13: 269-275; doi:10.1093/jigpal/jzi019 [Abstract] [PDF] [Request Permissions]  

Tarek Sayed-Ahmed

Amalgamation Theorems in Algebraic Logic, an overview
Logic Jnl IGPL 2005 13: 277-286; doi:10.1093/jigpal/jzi020 [Abstract] [PDF] [Request Permissions]  

Alasdair Urquhart

The Complexity of Propositional Proofs with the Substitution Rule
Logic Jnl IGPL 2005 13: 287-291; doi:10.1093/jigpal/jzi021 [Abstract] [PDF] [Request Permissions]  

Balder ten Cate, Maarten Marx, and Petrúcio Viana

Hybrid logics with Sahlqvist axioms
Logic Jnl IGPL 2005 13: 293-300; doi:10.1093/jigpal/jzi024 [Abstract] [PDF] [Request Permissions]  

Benedikt Löwe and Darko Sarenac

Cardinal spaces and topological representations of bimodal logics
Logic Jnl IGPL 2005 13: 301-306; doi:10.1093/jigpal/jzi025 [Abstract] [PDF] [Request Permissions]  

Nicolas Peltier

A Resolution Calculus for Shortening Proofs
Logic Jnl IGPL 2005 13: 307-333; doi:10.1093/jigpal/jzi027 [Abstract] [PDF] [Request Permissions]  

Paolo Liberatore

Representability in Default Logic
Logic Jnl IGPL 2005 13: 335-351; doi:10.1093/jigpal/jzi028 [Abstract] [PDF] [Request Permissions]  

Book Reviews

Xavier Parent

Reviews: Review of Coherent Systems, by Karl Schlechta, volume 2 of Studies in Logic and Practical Reasoning. Amsterdam: Elsevier, 2004, 447 pp., ISBN: 0-444-51789-8
Logic Jnl IGPL 2005 13: 353-359; doi:10.1093/jigpal/jzi026 [PDF] [Request Permissions]  

Acknowledgements

Acknowledgements
Logic Jnl IGPL 2005 13: 361; doi:10.1093/jigpal/jzi023 [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.