Logic Journal of IGPL

Articles

C Areces, E Franconi, R Goré, M de Rijke, and H Schlingloff

Editorial
Logic Jnl IGPL 2000 8: 231-237; doi:10.1093/jigpal/8.3.231 [PDF] [Request Permissions]  

I Horrocks, U Sattler, and S Tobies

Practical reasoning for very expressive description logics
Logic Jnl IGPL 2000 8: 239-263; doi:10.1093/jigpal/8.3.239 [Abstract] [PDF] [Request Permissions]  

H de Nivelle, RA Schmidt, and U Hustadt

Resolution-based methods for modal logics
Logic Jnl IGPL 2000 8: 265-292; doi:10.1093/jigpal/8.3.265 [Abstract] [PDF] [Request Permissions]  

I Horrocks, PF Patel-Schneider, and R Sebastiani

An analysis of empirical testing for modal decision procedures
Logic Jnl IGPL 2000 8: 293-323; doi:10.1093/jigpal/8.3.293 [Abstract] [PDF] [Request Permissions]  

N Alechina and N Immerman

Reachability logic: an efficient fragment of transitive closure logic
Logic Jnl IGPL 2000 8: 325-337; doi:10.1093/jigpal/8.3.325 [Abstract] [PDF] [Request Permissions]  

P Blackburn

Representation, reasoning, and relational structures: a hybrid logic manifesto
Logic Jnl IGPL 2000 8: 339-365; doi:10.1093/jigpal/8.3.339 [Abstract] [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.