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


  1. Authors:
    Yuichi KOMORI

    Title:
    On Komori Algebras

    Pages:
    67-70
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Marcus KRACHT and Tomasz KOWALSKI

    Title:
    Atomic Incompleteness or how to Kill One Bird with Two Stones

    Pages:
    71-78
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Motohiko MOURI

    Title:
    Theorem Provers with Countermodels and xpe

    Pages:
    79-87
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Yasusi HASIMOTO

    Title:
    Finite Model Property for Some Intuitionistic Modal Logics

    Pages:
    87-97
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Kazuyo INOI

    Title:
    Subframe Formulas for S4-type Intuitionistic Modal Logic

    Pages:
    99-105
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Tatsuya SHIMURA

    Title:
    Kripke Completeness of Predicate Extensions of Cofinal Subframe Logics

    Pages:
    107-114
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Mitio TAKANO

    Title:
    A Modified Subformula Property for K5 and K5D

    Pages:
    115-122
    File:
    bibtex
    Abstract ( + )