External Links

    Journal: Journal of Logic and Computation

    Volume 1, Issue 1

    1 -- 4Dov M. Gabbay. Editorial
    5 -- 40Samson Abramsky. Abstract Interpretation, Logical Relations and Kan Extensions
    41 -- 69Matthew L. Ginsberg. Bilattices and Modal Operators
    71 -- 82Michael Kaminski, Michael L. Tiomkin. Finite and Circular Path Models for Branching Time Logics
    83 -- 97Melvin Fitting. Destructive Modal Resolution
    99 -- 143Patricia M. Hill, John W. Lloyd, John C. Shepherdson. Properties of a Pruning Operator
    runs on