Skip Navigation

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

Cover Image
Other Issues:
Previous Next 		Contents: Volume 15, Number 1, January 2007   [Index by Author] 

Down Original Articles


[Search ALL Issues]

Table of Contents (PDF)

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.

Original Articles Back

Romas Alonderis
Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic
Logic Journal of IGPL Advance Access published on August 16, 2006
Logic Jnl IGPL 2007 15: 1-19; doi:10.1093/jigpal/jzl013 [Abstract] [Full Text] [PDF] [Request Permissions]  

Tarek Sayed-ahmed
An Interpolation Theorem for First Order Logic with Infinitary Predicates
Logic Jnl IGPL 2007 15: 21-32; doi:10.1093/jigpal/jzl030 [Abstract] [Full Text] [PDF] [Request Permissions]  

Tarek Sayed-Ahmed
On Neat Reducts and Amalgamation
Logic Jnl IGPL 2007 15: 33-39; doi:10.1093/jigpal/jzl031 [Abstract] [Full Text] [PDF] [Request Permissions]  

Tarek Sayed-Ahmed and Basim Samir
A Neat Embedding Theorem for Expansions of Cylindric Algebras
Logic Jnl IGPL 2007 15: 41-51; doi:10.1093/jigpal/jzl032 [Abstract] [Full Text] [PDF] [Request Permissions]  

Valentin Goranko and Alberto Zanardo
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
Logic Journal of IGPL Advance Access published on January 9, 2007
Logic Jnl IGPL 2007 15: 53-76; doi:10.1093/jigpal/jzl035 [Abstract] [Full Text] [PDF] [Request Permissions]  

David FernÁndez Duque
Dynamic Topological Completeness for
Logic Journal of IGPL Advance Access published on January 27, 2007
Logic Jnl IGPL 2007 15: 77-107; doi:10.1093/jigpal/jzl036 [Abstract] [Full Text] [PDF] [Request Permissions]  

Rodolfo C. Ertola, Adriana Galli, and Marta Sagastume
Compatible Functions in Algebras Associated to Extensions of Positive Logic
Logic Journal of IGPL Advance Access published on January 23, 2007
Logic Jnl IGPL 2007 15: 109-119; doi:10.1093/jigpal/jzl037 [Abstract] [Full Text] [PDF] [Request Permissions]  

Acknowledgements
Logic Jnl IGPL 2007 15: 120; doi:10.1093/jigpal/jzm001 [Full Text] [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.