Volume 7: January - December 1997

Issue 5: October 1997

Table of Contents


  • Deterministic and non-deterministic stable models
  • D. Sacca and C. Zaniolo1

    Pages: 555 - 579


  • Functional translation and second-order frame properties of modal logics
  • HJ. Ohlbach and RA. Schmidt1

    Pages: 581 - 603


  • Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations
  • H. Bezzazi1,2, RP. Perez1,3 and D. Makinson4

    Pages: 605 - 631


  • Reasoning about rational, but not logically omniscient, agents
  • HN. Duc

    Pages: 633 - 648


  • Relations between propositional normal modal logics: an overview
  • R. Gore, W. Heinle1 and A. Heuerding1

    Pages: 649 - 658


  • A description of the tableau method using abstract state machines
  • E. Borger and PH. Schmidt1

    Pages: 659 - 681


    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

    Part of the OUP Journals World Wide Web service.

    Last modification: 24 Oct 1997


    Copyright© Oxford University Press, 1997.