External Links

    Journal: Studia Logica

    Volume 52, Issue 4

    491 -- 518Bernhard Lauth. Inductive inference in the limit for first-order sentences
    519 -- 548Wolfgang Balzer, Bernhard Lauth, Gerhard Zoubek. A model for science kinematics
    549 -- 564Paolo Gentilini. Syntactical results on the arithmetical completeness of modal logic
    565 -- 586Ross T. Brady. Rules in relevant logic-II: formula representation
    587 -- 594Dev Kumar Roy. Recursive versus recursively enumerable binary relations
    595 -- 614Gonzalo E. Reyes, Marek W. Zawadowski. Formal systems for modal operators on locales
    runs on