External Links

    Journal: Journal of Logic and Computation

    Volume 1, Issue 3

    301 -- 304Johan van Benthem. Editorial
    305 -- 330Iain A. Stewart. Comparing the Expressibility of Languages Formed using NP-Complete Operators
    331 -- 356Philippe Balbiani. Modal Logic and Negation as Failure
    357 -- 395José Luiz Fiadeiro, T. S. E. Maibaum. Temporal reasoning over deontic specifications
    397 -- 415Steffen Hölldobler. Combining Logic Programming and Equation Solving
    runs on