Bulletin of the Section of Logic 30/4 (2001)


  1. Authors:
    A.N. RUTSKIY

    Title:
    Decidability of Modal Logics S4+αN, S4+ξN+1 w.r.t. Admissible Inference Rules

    Pages:
    181-189
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Zachary ERNST, Branden FITELSON, Kenneth HARRIS and Larry WOS

    Title:
    A Concise Axiomatization of RM->

    Pages:
    191-195
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Mariusz URBANSKI

    Title:
    Remarks on Synthetic Tableaux for Classical Propositional Calculus

    Pages:
    195-205
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Joanna GRYGIEL

    Title:
    Sum-representations of Finite Lattices

    Pages:
    205-212
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Vladimir V.RYBAKOV

    Title:
    A View of Logical Omniscience Problem

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