Bulletin of the Section of Logic 24/1 (1995)


  1. Authors:
    Mamoru KANEKO

    Title:
    Axiomatic considerations of Nash equilibrium

    Pages:
    6-12
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Richard KENNAWAY, Jan-Willem KLOP, Ronan SLEEP and Fer-Jan de VRIES

    Title:
    From finite to infinite lambda calculi

    Pages:
    13-20
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Larisa MAKSIMOWA

    Title:
    On variable separation in modal logics

    Pages:
    21-25
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Andrei MANTSIVODA

    Title:
    The semantics of flang

    Pages:
    26-30
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Aart MIDDELDORP and Hans ZANTEMA

    Title:
    Simple termination of rewrite systems

    Pages:
    31-36
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Vladimir V.RYBAKOV

    Title:
    Even tabular modal logics sometimes do not have independent base for admissible rules

    Pages:
    37-40
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Tatsuya SHIMURA

    Title:
    On completeness of intermediate predicate logics with respect to Kripke semantics

    Pages:
    41-45
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Frank WOLTER

    Title:
    Decidability of tense logics

    Pages:
    46-50
    File:
    bibtex
    Abstract ( + )