External Links

    Journal: Journal of Logic, Language and Information

    Volume 2, Issue 1

    1 -- 18Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka. On the expressivity of feature logics with negation, functional uncertainty, and sort equations
    19 -- 58Wiebe van der Hoek, Maarten de Rijke. Generalized quantifiers and modal logic
    59 -- 83Grigori Mints. Resolution calculus for the first order linear logic
    runs on