Journal of Logic and Computation

Articles

Y Venema

Points, lines and diamonds: a two-sorted modal logic for projective planes
J Logic Computation 1999 9: 601-621; doi:10.1093/logcom/9.5.601 [Abstract] [PDF] [Request Permissions]  

L Karlsson and J Gustafsson

Reasoning about concurrent interaction
J Logic Computation 1999 9: 623-650; doi:10.1093/logcom/9.5.623 [Abstract] [PDF] [Request Permissions]  

J Kohlas, R Haenni, and S Moral

Propositional information systems
J Logic Computation 1999 9: 651-681; doi:10.1093/logcom/9.5.651 [Abstract] [PDF] [Request Permissions]  

R Kahle

Frege structures for partial applicative theories
J Logic Computation 1999 9: 683-700; doi:10.1093/logcom/9.5.683 [Abstract] [PDF] [Request Permissions]  

MA Castilho, O Gasquet, and A Herzig

Formalizing action and change in modal logic I: the frame problem
J Logic Computation 1999 9: 701-735; doi:10.1093/logcom/9.5.701 [Abstract] [PDF] [Request Permissions]  

P Doherty, W Lukaszewicz, and A Szalas

Declarative PTIME queries for relational databases using quantifier elimination
J Logic Computation 1999 9: 737-758; doi:10.1093/logcom/9.5.737 [Abstract] [PDF] [Request Permissions]  

G De Giacomo, L Iocchi, D Nardi, and R Rosati

A theory and implementation of cognitive mobile robots
J Logic Computation 1999 9: 759-785; doi:10.1093/logcom/9.5.759 [Abstract] [PDF] [Request Permissions]  

Books Received
J Logic Computation 1999 9: 787; doi:10.1093/logcom/9.5.787 [Abstract] [PDF] [Request Permissions]  

Forthcoming Papers
J Logic Computation 1999 9: 789-790; doi:10.1093/logcom/9.5.789 [Abstract] [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.