Logic Journal of IGPL

Articles

Graham White

A Linear Meta-Interpreter for Reasoning About States and Actions
Logic Jnl IGPL 2001 9: 631-676; doi:10.1093/jigpal/9.5.631 [Abstract] [PDF] [Request Permissions]  

Dimitar P. Guelev

Interval-Related Interpolation in Interval Temporal Logics
Logic Jnl IGPL 2001 9: 677-685; doi:10.1093/jigpal/9.5.677 [Abstract] [PDF] [Request Permissions]  

Rohit Parikh, Laxmi Parida, and Vaughan Pratt

Sock Sorting: An Example of a Vague Algorithm
Logic Jnl IGPL 2001 9: 687-692; doi:10.1093/jigpal/9.5.687 [Abstract] [PDF] [Request Permissions]  

Ruy J. G. B. de Queiroz

Meaning, Function, Purpose, Usefulness, Consequences – Interconnected Concepts
Logic Jnl IGPL 2001 9: 693-734; doi:10.1093/jigpal/9.5.693 [Abstract] [PDF] [Request Permissions]  

Patrick Blackburn and Maarten Marx

Third International Workshop on Hybrid Logic (HyLo'01)
Logic Jnl IGPL 2001 9: 735-737; doi:10.1093/jigpal/9.5.735 [PDF] [Request Permissions]  

Ruy J.G.B. de Queiroz

8th Workshop on Logic, Language, Information and Computation (WoLLIC'2001)
Logic Jnl IGPL 2001 9: 739-754; doi:10.1093/jigpal/9.5.739 [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.