External Links

    Journal: Journal of Logic and Computation

    Volume 8, Issue 1

    3 -- 0Dov M. Gabbay. Editorial
    5 -- 31Robert Harper, Frank Pfenning. A Module System for a Programming Language Based on the LF Logical Framework
    33 -- 47Melvin Fitting. leanTAP Revisited
    49 -- 70Seyed-Hassan Mirian-Hosseinabadi, Raymond Turner. Constructive Z
    71 -- 86Lauri Hella, Henrik Imhof. Enhancing Fixed Point Logic with Cardinality Quantifiers
    87 -- 117Gösta Grahne. Updates and Counterfactuals
    119 -- 129David Gries, Fred B. Schneider. Adding the Everywhere Operator to Propositional Logic
    runs on