Volume 7: January - December 1997

Issue 1: 1997

Table of Contents


  • An algebraic perspective of constraint logic programming
  • FS. de Boer

    Pages: 1 - 38


  • Semantic tableaux with equality
  • B. Beckert

    Pages: 39 - 58


  • Modal logics for incidence geometries
  • P. Balbiani, LF. Del Cerro

    Pages: 59 - 78


  • A theory of knowledge and ignorance for many agents
  • JY. Halpern

    Pages: 79 - 108


  • How to (plan to) meet a deadline between now and then
  • M. Nirkhe

    Pages: 109 - 156


    Part of the OUP Journal of Logic and Computation WWW service


    General Information

    Click here to register with OUP.

    This page is maintained by OUP admin

    Last updated 25 Jan 97

    Part of the OUP Journals World Wide Web service.


    Copyright Oxford University Press, 1997