External Links

    Journal: Journal of Logic and Computation

    Volume 7, Issue 4

    429 -- 456Michael Fisher. A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
    457 -- 471Etienne Grandjean, Hans Kleine Büning. SAT-Problems and Reductions with Respect to the Number of Variables
    473 -- 500Àngel J. Gil, Antoni Torrens, Ventura Verdú. On Gentzen Systems Associated with the Finite Linear MV-Algebras
    501 -- 522Natasha Kurtonina, Maarten de Rijke. Simulating Without Negation
    523 -- 548Francesco M. Donini, Daniele Nardi, Riccardo Rosati. Ground Nonmonotonic Modal Logics
    runs on