Skip Navigation

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

Contents: Volume 4, Number 5, October 1994   [Index by Author] 
Other Issues: Previous Next  

Down Articles


[Search ALL Issues]

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

Articles Back

MICHAEL GEORGEFF

J Logic Computation 1994 4: 463-465; doi:10.1093/logcom/4.5.463 [PDF] [Request Permissions]  

EDWIN P. D. PEDNAULT

J Logic Computation 1994 4: 467-512; doi:10.1093/logcom/4.5.467 [Abstract] [PDF] [Request Permissions]  

ROB MILLER and MURRAY SHANAHAN

J Logic Computation 1994 4: 513-530; doi:10.1093/logcom/4.5.513 [Abstract] [PDF] [Request Permissions]  

JAMES F. ALLEN and GEORGE FERGUSON

J Logic Computation 1994 4: 531-579; doi:10.1093/logcom/4.5.531 [Abstract] [PDF] [Request Permissions]  

ERIK SANDEWALL

J Logic Computation 1994 4: 581-615; doi:10.1093/logcom/4.5.581 [Abstract] [PDF] [Request Permissions]  

JOACHIM HERTZBERG and SYLVIE THIÉBAUX

J Logic Computation 1994 4: 617-654; doi:10.1093/logcom/4.5.617 [Abstract] [PDF] [Request Permissions]  

FANGZEN LIN and RAY REITER

J Logic Computation 1994 4: 655-677; doi:10.1093/logcom/4.5.655 [Abstract] [PDF] [Request Permissions]  

LENHART K. SCHUBERT

J Logic Computation 1994 4: 679-700; doi:10.1093/logcom/4.5.679 [Abstract] [PDF] [Request Permissions]  

DAVID MORLEY, MICHAEL GEORGEFF, and ANAND RAO

J Logic Computation 1994 4: 701-720; doi:10.1093/logcom/4.5.701 [Abstract] [PDF] [Request Permissions]  

ERNEST DAVIS

J Logic Computation 1994 4: 721-766; doi:10.1093/logcom/4.5.721 [Abstract] [PDF] [Request Permissions]  

SAM STEEL

J Logic Computation 1994 4: 767-795; doi:10.1093/logcom/4.5.767 [Abstract] [PDF] [Request Permissions]  

ALVARO DEL VAL and YOAV SHOHAM

J Logic Computation 1994 4: 797-810; doi:10.1093/logcom/4.5.797 [Abstract] [PDF] [Request Permissions]  

JOHAN VAN BENTHEM, JAN VAN EIJCK, and VERA STEBLETSOVA

J Logic Computation 1994 4: 811-855; doi:10.1093/logcom/4.5.811 [Abstract] [PDF] [Request Permissions]  


J Logic Computation 1994 4: 856-857; doi:10.1093/logcom/4.5.856 [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.