Logic Journal of IGPL

Editorial

Walter Carnielli and Paulo Mateus

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

Original Articles

Rosalie Iemhoff, Dick De Jongh, and Chunlai Zhou

Properties of Intuitionistic Provability and Preservativity Logics
Logic Jnl IGPL 2005 13: 615-636; doi:10.1093/jigpal/jzi047 [Abstract] [PDF] [Request Permissions]  

Carlos Caleiro, Luca Viganò, and David Basin

Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
Logic Jnl IGPL 2005 13: 637-663; doi:10.1093/jigpal/jzi048 [Abstract] [PDF] [Request Permissions]  

Vania Costa and Mario Benevides

Formalizing Concurrent Common Knowledge as Product of Modal Logics
Logic Jnl IGPL 2005 13: 665-684; doi:10.1093/jigpal/jzi049 [Abstract] [PDF] [Request Permissions]  

Joseph A. Goguen

Data, Schema, Ontology and Logic Integration
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

On ‘Most’ and ‘Representative’: Filter Logic and Special Predicates
Logic Jnl IGPL 2005 13: 717-728; doi:10.1093/jigpal/jzi051 [Abstract] [PDF] [Request Permissions]  

Conference Report

Ruy de Queiroz, Angus Macintyre, and Guilherme Bittencourt

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

Acknowledgements

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

Acknowledgements
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.