Logic Journal of IGPL

Articles

Editorial
Logic Jnl IGPL 1996 4: 3-5; doi:10.1093/jigpal/4.1.3 [PDF] [Request Permissions]  

GIANNI AMATI, LUIGIA CARLUCCI AIELLO, DOV GABBAY, and FIORA PIRRI

A Structural Property on Modal Frames Characterizing Default Logic
Logic Jnl IGPL 1996 4: 7-22; doi:10.1093/jigpal/4.1.7 [Abstract] [PDF] [Request Permissions]  

BRANDON BENNETT

Modal Logics for Qualitative Spatial Reasoning
Logic Jnl IGPL 1996 4: 23-45; doi:10.1093/jigpal/4.1.23 [Abstract] [PDF] [Request Permissions]  

GERD GROßE and HESHAM KHALIL

State Event Logic
Logic Jnl IGPL 1996 4: 47-74; doi:10.1093/jigpal/4.1.47 [Abstract] [PDF] [Request Permissions]  

CHRISTOPH KREITZ

Formal Mathematics for Verifiably Correct Program Synthesis
Logic Jnl IGPL 1996 4: 75-94; doi:10.1093/jigpal/4.1.75 [Abstract] [PDF] [Request Permissions]  

MARTA CIALDEA MAYER and FIORA PIRRI

Abduction is not Deduction-in-Reverse
Logic Jnl IGPL 1996 4: 95-108; doi:10.1093/jigpal/4.1.95 [Abstract] [PDF] [Request Permissions]  

Hans Jürgen Ohlbach

Computer Support for the Development and Investigation of Logics
Logic Jnl IGPL 1996 4: 109-127; doi:10.1093/jigpal/4.1.109 [Abstract] [PDF] [Request Permissions]  

JEREMY PITT and JIM CUNNINGHAM

Theorem Proving and Model Building with the Calculus KE
Logic Jnl IGPL 1996 4: 129-150; doi:10.1093/jigpal/4.1.129 [Abstract] [PDF] [Request Permissions]  

Acknowledgements
Logic Jnl IGPL 1996 4: 151; doi:10.1093/jigpal/4.1.151 [PDF] [Request Permissions]  

Interest Group in Pure and Applied Logics (IGPL)
Logic Jnl IGPL 1996 4: 152-153; doi:10.1093/jigpal/4.1.152 [PDF] [Request Permissions]  

Subscription: Subscription form for hardcopies
Logic Jnl IGPL 1996 4: 154; doi:10.1093/jigpal/4.1.154 [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.