Logic Journal of IGPL

Articles

RJGB de Queiroz

Editorial
Logic Jnl IGPL 2000 8: 603-604; doi:10.1093/jigpal/8.5.603 [PDF] [Request Permissions]  

J Baldwin

Finite and infinite model theory - a historical perspective
Logic Jnl IGPL 2000 8: 605-628; doi:10.1093/jigpal/8.5.605 [Abstract] [PDF] [Request Permissions]  

T Braüner

A cut-free Gentzen formulation of the modal logic S5
Logic Jnl IGPL 2000 8: 629-643; doi:10.1093/jigpal/8.5.629 [Abstract] [PDF] [Request Permissions]  

EL Fermé

Irrevocable belief revision and epistemic entrenchment
Logic Jnl IGPL 2000 8: 645-652; doi:10.1093/jigpal/8.5.645 [Abstract] [PDF] [Request Permissions]  

C Areces, P Blackburn, and M Marx

The computational complexity of hybrid temporal logics
Logic Jnl IGPL 2000 8: 653-679; doi:10.1093/jigpal/8.5.653 [Abstract] [PDF] [Request Permissions]  

A Montanari, A Peron, and A Policriti

The taming (timing) of the states
Logic Jnl IGPL 2000 8: 681-699; doi:10.1093/jigpal/8.5.681 [Abstract] [PDF] [Request Permissions]  

A Nies

Model theory of the computably enumerable many-one degrees
Logic Jnl IGPL 2000 8: 701-706; doi:10.1093/jigpal/8.5.701 [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.