Skip Navigation

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

Cover Image
Other Issues:
Previous Next 		Contents: Volume 16, Number 6, December 2008   [Index by Author] 

Down Original Articles
Down Acknowledgements


[Search ALL Issues]

Front Matter (PDF) | Back Matter (PDF) | 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

Dov M. Gabbay and Amir Pnueli
A Sound and Complete Deductive System for CTL* Verification
Logic Journal of IGPL Advance Access published on November 14, 2008
Logic Jnl IGPL 2008 16: 499-536; doi:10.1093/jigpal/jzn018 [Abstract] [PDF] [References] [Request Permissions]  

Marcello D’Agostino, Marcelo Finger, and Dov Gabbay
Cut-Based Abduction
Logic Journal of IGPL Advance Access published on November 17, 2008
Logic Jnl IGPL 2008 16: 537-560; doi:10.1093/jigpal/jzn020 [Abstract] [PDF] [References] [Request Permissions]  

Seyed Mohammad Bagheri and Massoud Pourmahdian
Elementary Amalgamation and Joint Embedding Property for Intermediate Logics
Logic Jnl IGPL 2008 16: 561-583; doi:10.1093/jigpal/jzn022 [Abstract] [PDF] [References] [Request Permissions]  

Igor Carboni Oliveira and Walter Carnielli
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories
Logic Journal of IGPL Advance Access published on November 9, 2008
Logic Jnl IGPL 2008 16: 585-590; doi:10.1093/jigpal/jzn023 [Abstract] [PDF] [References] [Request Permissions]  

Costas D. Koutras, Christos Nomikos, and Pavlos Peppas
On a Simple 3-valued Modal Language and a 3-valued Logic of ‘not-fully-justified’ Belief
Logic Jnl IGPL 2008 16: 591-604; doi:10.1093/jigpal/jzn024 [Abstract] [PDF] [References] [Request Permissions]  

Acknowledgements Back

Acknowledgements
Logic Jnl IGPL 2008 16: 605; doi:10.1093/jigpal/jzn027 [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.