Skip Navigation

Receive this page by email each issue: [Sign up for eTOCs]

Cover Image
Other Issues:
Previous Next
Contents: Volume 13, Number 6, November 2005   [Index by Author] 

Down Editorial
Down Original Articles
Down Conference Report
Down Acknowledgements

 
Special Issue: Selected Papers from the Workshop on Combination of Logics: Theory and Applications (CombLog'04)
 

[Search ALL Issues]


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.

Editorial Back

Walter Carnielli and Paulo Mateus

Logic Jnl IGPL 2005 13: 611-614; doi:10.1093/jigpal/jzi046 [PDF] [Request Permissions]  

Original Articles Back

Rosalie Iemhoff, Dick De Jongh, and Chunlai Zhou

Logic Jnl IGPL 2005 13: 615-636; doi:10.1093/jigpal/jzi047 [Abstract] [PDF] [Request Permissions]  

Carlos Caleiro, Luca Viganò, and David Basin

Logic Jnl IGPL 2005 13: 637-663; doi:10.1093/jigpal/jzi048 [Abstract] [PDF] [Request Permissions]  

Vania Costa and Mario Benevides

Logic Jnl IGPL 2005 13: 665-684; doi:10.1093/jigpal/jzi049 [Abstract] [PDF] [Request Permissions]  

Joseph A. Goguen

Logic Jnl IGPL 2005 13: 685-715; doi:10.1093/jigpal/jzi050 [Abstract] [PDF] [Request Permissions]  

Paulo A. S. Veloso and Sheila R. M. Veloso

Logic Jnl IGPL 2005 13: 717-728; doi:10.1093/jigpal/jzi051 [Abstract] [PDF] [Request Permissions]  

Conference Report Back

Ruy de Queiroz, Angus Macintyre, and Guilherme Bittencourt

Logic Jnl IGPL 2005 13: 729-737; doi:10.1093/jigpal/jzi055 [PDF] [Request Permissions]  

Acknowledgements Back

Walter Carnelli, Paulo Mateus, Amilcar Sernadas, João Rasga, Lutz Schroeder, Franz Baader, and Carolos Eduardo Areces

Logic Jnl IGPL 2005 13: 738; doi:10.1093/jigpal/jzi052 [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.