Journal of Logic and Computation

Articles

Yuri Gurevich and Alexander Rabinovich

Definability in Rationals with Real Order in the Background
J Logic Computation 2002 12: 1-11; doi:10.1093/logcom/12.1.1 [Abstract] [PDF] [Request Permissions]  

Hajnal Andréka, Mark Ryan, and Pierre-Yves Schobbens

Operators and Laws for Combining Preference Relations
J Logic Computation 2002 12: 13-53; doi:10.1093/logcom/12.1.13 [Abstract] [PDF] [Request Permissions]  

Pietro Panzarasa, Nicholas R. Jennings, and Timothy J. Norman

Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems
J Logic Computation 2002 12: 55-117; doi:10.1093/logcom/12.1.55 [Abstract] [PDF] [Request Permissions]  

Aldo Franco Dragoni, Paolo Giorgini, and Luciano Serafini

Mental States Recognition from Communication
J Logic Computation 2002 12: 119-136; doi:10.1093/logcom/12.1.119 [Abstract] [PDF] [Request Permissions]  

Radim Belohlavek

Logical Precision in Concept Lattices
J Logic Computation 2002 12: 137-148; doi:10.1093/logcom/12.1.137 [Abstract] [PDF] [Request Permissions]  

Marc Pauly

A Modal Logic for Coalitional Power in Games
J Logic Computation 2002 12: 149-166; doi:10.1093/logcom/12.1.149 [Abstract] [PDF] [Request Permissions]  

Giovanni Criscuolo, Fausto Giunchiglia, and Luciano Serafini

A Foundation for Metareasoning Part I: The Proof Theory
J Logic Computation 2002 12: 167-208; doi:10.1093/logcom/12.1.167 [Abstract] [PDF] [Request Permissions]  

Books Received
J Logic Computation 2002 12: 209; doi:10.1093/logcom/12.1.209 [PDF] [Request Permissions]  

Special Issue: Fixpoints in Computer Science 2000
J Logic Computation 2002 12: 211-212; doi:10.1093/logcom/12.1.211 [PDF] [Request Permissions]  

Gerhard Brewka and Gerard Vreeswijk

Special Issue on Computational Dialectics
J Logic Computation 2002 12: 213; doi:10.1093/logcom/12.1.213 [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.