Journal of Logic and Computation

Articles

F Tohmé and T Sandholm

Coalition formation processes with belief revision among bounded-rational self-interested agents
J Logic Computation 1999 9: 793-815; doi:10.1093/logcom/9.6.793 [Abstract] [PDF] [Request Permissions]  

S Berger, D Lehmann, and K Schlechta

Preferred history semantics for iterated updates
J Logic Computation 1999 9: 817-833; doi:10.1093/logcom/9.6.817 [Abstract] [PDF] [Request Permissions]  

V Gouranton and D Le Métayer

Dynamic slicing: a generic analysis based on a natural semantics format
J Logic Computation 1999 9: 835-871; doi:10.1093/logcom/9.6.835 [Abstract] [PDF] [Request Permissions]  

S Benferhat, D Dubois, and H Prade

Possibilistic and standard probabilistic semantics of conditional knowledge bases
J Logic Computation 1999 9: 873-895; doi:10.1093/logcom/9.6.873 [Abstract] [PDF] [Request Permissions]  

M Marx and M Reynolds

Undecidability of compass logic
J Logic Computation 1999 9: 897-914; doi:10.1093/logcom/9.6.897 [Abstract] [PDF] [Request Permissions]  

AA Arratia-Quesada, SR Chauhan, and IA Stewart

Hierarchies in classes of program schemes
J Logic Computation 1999 9: 915-957; doi:10.1093/logcom/9.6.915 [Abstract] [PDF] [Request Permissions]  

R Turner

Sets, types and type-checking
J Logic Computation 1999 9: 959-975; doi:10.1093/logcom/9.6.959 [Abstract] [PDF] [Request Permissions]  

A Avron

On the expressive power of three-valued and four-valued languages
J Logic Computation 1999 9: 977-994; doi:10.1093/logcom/9.6.977 [Abstract] [PDF] [Request Permissions]  

Forthcoming papers
J Logic Computation 1999 9: 995-996; doi:10.1093/logcom/9.6.995 [PDF] [Request Permissions]  

Acknowledgements
J Logic Computation 1999 9: 997; doi:10.1093/logcom/9.6.997 [PDF] [Request Permissions]  

Author Index
J Logic Computation 1999 9: 999; doi:10.1093/logcom/9.6.999 [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.