External Links

    Journal: Journal of Logic and Computation

    Volume 7, Issue 2

    159 -- 174Jianhua Chen. The Generalized Logic of only Knowing (GOL) That Covers the Notion of Epistemic Specifications
    175 -- 204Lawrence C. Paulson. Mechanizing Coinduction and Corecursion in Higher-Order Logic
    205 -- 228Martin Grohe. Existential Least Fixed-Point Logic and its Relatives
    229 -- 250Raymond Turner. Reading Between the Lines in Constructive Type Theory
    251 -- 265Johan van Benthem, Giovanna D Agostino, Angelo Montanari, Alberto Policriti. Modal Deduction in Second-Order Logic and Set Theory - I
    267 -- 303Dino Pedreschi, Salvatore Ruggieri. Verification of Meta-Interpreters
    runs on