Skip Navigation

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

Cover Image
Other Issues:
Previous Next 		Contents: Volume 18, Number 4, August 2008   [Index by Author] 

Down Editorial
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.

Editorial Back

Heinrich Wansing
Editorial and call for papers
Journal of Logic and Computation Advance Access published on January 8, 2008
J Logic Computation 2008 18: 495-496; doi:10.1093/logcom/exm076 [PDF] [References] [Request Permissions]  

Original Articles Back

Ryo Kashima and Keishi Okamoto
General Models and Completeness of First-Order Modal µ-calculus
Journal of Logic and Computation Advance Access published on January 8, 2008
J Logic Computation 2008 18: 497-507; doi:10.1093/logcom/exm077 [Abstract] [PDF] [References] [Request Permissions]  

V. Rybakov
Multi-modal and Temporal Logics with Universal Formula—Reduction of Admissibility to Validity and Unification
Journal of Logic and Computation Advance Access published on January 8, 2008
J Logic Computation 2008 18: 509-519; doi:10.1093/logcom/exm078 [Abstract] [PDF] [References] [Request Permissions]  

Murdoch J. Gabbay and Aad Mathijssen
One-and-a-halfth-order Logic
Journal of Logic and Computation Advance Access published on November 22, 2007
J Logic Computation 2008 18: 521-562; doi:10.1093/logcom/exm064 [Abstract] [PDF] [References] [Request Permissions]  

H. P. van Ditmarsch, J. Ruan, and R. Verbrugge
Sum and Product in Dynamic Epistemic Logic
Journal of Logic and Computation Advance Access published on December 21, 2007
J Logic Computation 2008 18: 563-588; doi:10.1093/logcom/exm081 [Abstract] [PDF] [References] [Request Permissions]  

Ernst Zimmermann
Lambek Calculus in Natural Deduction
Journal of Logic and Computation Advance Access published on December 21, 2007
J Logic Computation 2008 18: 589-600; doi:10.1093/logcom/exm084 [Abstract] [PDF] [References] [Request Permissions]  

Giovanna D'Agostino and Giacomo Lenzi
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames
Journal of Logic and Computation Advance Access published on December 21, 2007
J Logic Computation 2008 18: 601-614; doi:10.1093/logcom/exm085 [Abstract] [PDF] [References] [Request Permissions]  

Dimitar P. Guelev
A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic
Journal of Logic and Computation Advance Access published on February 6, 2008
J Logic Computation 2008 18: 615-623; doi:10.1093/logcom/exn002 [Abstract] [PDF] [References] [Request Permissions]  

Morteza Moniri
On the Hierarchy of Intuitionistic Bounded Arithmetic
Journal of Logic and Computation Advance Access published on February 6, 2008
J Logic Computation 2008 18: 625-630; doi:10.1093/logcom/exn003 [Abstract] [PDF] [References] [Request Permissions]  

Torben Braüner
Adding Intensional Machinery to Hybrid Logic
Journal of Logic and Computation Advance Access published on March 13, 2008
J Logic Computation 2008 18: 631-648; doi:10.1093/logcom/exn005 [Abstract] [PDF] [References] [Request Permissions]  

Matthias Baaz and Norbert Preining
Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type {omega}
Journal of Logic and Computation Advance Access published on April 14, 2008
J Logic Computation 2008 18: 649-668; doi:10.1093/logcom/exn004 [Abstract] [PDF] [References] [Request Permissions]  

Loïc Colson and David Michel
Pedagogical Second-order Propositional Calculi
Journal of Logic and Computation Advance Access published on April 22, 2008
J Logic Computation 2008 18: 669-695; doi:10.1093/logcom/exn001 [Abstract] [PDF] [References] [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.