Bulletin of the Section of Logic 31/1 (2002)


  1. Authors:
    Eugeniusz TOMASZEWSKI

    Title:
    An Algorithm for Finding Finite Axiomatization of Finite Intermediate Logics by Means of Jankov Formulas

    Pages:
    1-6
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Zachary ERNST

    Title:
    Completions of TV-> from H->

    Pages:
    7-14
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Andrzej INDRZEJCZAK

    Title:
    Labelled Analytic Tableaux for S4.3

    Pages:
    15-26
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Renate A. SCHMIDT and Dmitry TISHKOVSKY

    Title:
    On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge

    Pages:
    27-36
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Janusz KACZMAREK

    Title:
    On the Porphyrian Tree Structure and an Operation of Determination

    Pages:
    37-46
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Dorota RYBARKIEWICZ

    Title:
    Is Metaphor an Illocutionary Act?

    Pages:
    47-64
    File:
    bibtex
    Abstract ( + )