Logic Journal of IGPL

Articles

DOV GABBAY

Editorial
Logic Jnl IGPL 1993 1: 1-2; doi:10.1093/jigpal/1.1.1 [PDF] [Request Permissions]  

PAULO A. S. VELOSO

A New, Simpler Proof of the Modularisation Theorem for Logical Specifications
Logic Jnl IGPL 1993 1: 3-12; doi:10.1093/jigpal/1.1.3 [Abstract] [PDF] [Request Permissions]  

MICHAEL ZAKHARYASCHEV

A Sufficient Condition for the Finite Model Property of Modal Logics above K4
Logic Jnl IGPL 1993 1: 13-21; doi:10.1093/jigpal/1.1.13 [PDF] [Request Permissions]  

MICHAEL FREUND and DANIEL LEHMANN

Nonmonotonic inference operations
Logic Jnl IGPL 1993 1: 23-68; doi:10.1093/jigpal/1.1.23 [Abstract] [PDF] [Request Permissions]  

HANS JURGEN OHLBACH

Translation Methods for Non-Classical Logics: An Overview
Logic Jnl IGPL 1993 1: 69-89; doi:10.1093/jigpal/1.1.69 [Abstract] [PDF] [Request Permissions]  

Á. KURUCZ, I. NÉMETI, I. SAIN, and A. SIMON

Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus
Logic Jnl IGPL 1993 1: 91-98; doi:10.1093/jigpal/1.1.91 [Abstract] [PDF] [Request Permissions]  

MARTA CIALDEA MAYER and FIORA PIRRI

First order abduction via tableau and sequent calculi
Logic Jnl IGPL 1993 1: 99-117; doi:10.1093/jigpal/1.1.99 [Abstract] [PDF] [Request Permissions]  

Acknowledgements
Logic Jnl IGPL 1993 1: 118; doi:10.1093/jigpal/1.1.118 [PDF] [Request Permissions]  

Y. Shramko, J. Barwise, D. Gabbay, and J. van Benthem

Forthcoming Papers
Logic Jnl IGPL 1993 1: 119; doi:10.1093/jigpal/1.1.119 [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.