Bulletin of the Section of Logic 32/4 (2003)


  1. Authors:
    George TOURLAKIS and Francisco KIBEDI

    Title:
    A Modal Extension of First Order Classical Logic, Part I

    Pages:
    165-177
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Janusz KACZMAREK

    Title:
    Positive and Negative Properties. A Logical Interpretation

    Pages:
    179-189
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Christian J.RENTERIA, Edward Hermann HAEUSLER, Paulo A.S.VELOSO

    Title:
    NUL: Natural Deduction for Ultrafilter Logic

    Pages:
    191-199
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Toshimasa MATSUMOTO

    Title:
    Time Complexity of Proof search Procedure for K4

    Pages:
    201-211
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    M.I. GOLOVANOV, Vladimir V.RYBAKOV, E.M. YURASOVA

    Title:
    A Necessary Condition for Rules to be Admissible in Temporal Tomorrow-Logic

    Pages:
    213-220
    File:
    bibtex
    Abstract ( + )