Volume 7: January - December 1997

Issue 2: 1997

Table of Contents


  • The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications
  • J. Chen

    Pages: 159 - 174


  • Mechanizing coinduction and corecursion in higher-order logic
  • LC. Paulson

    Pages: 175 - 204


  • Existential least fixed-point logic and its relatives
  • M. Grohe

    Pages: 205 - 228


  • Reading between the lines in constructive type theory
  • R. Turner

    Pages: 229 - 250


  • Modal deduction in second-order logic and set theory - I
  • J. van Benthem1, G. D'Agostino2, A. Montanari1,2 and A. Policriti2

    Pages: 251 - 265


  • Verification of meta-interpreters
  • D. Pedreschi and S. Ruggieri

    Pages: 267 - 303


    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: 22 Jul 1997


    Copyright© Oxford University Press, 1997.