Bulletin of the Section of Logic 42/3-4 (2013)


  1. Authors:
    Yehuda SCHWARTZ, George TOURLAKIS

    Title:
    A Proof Theoretic Tool for First-Order Modal Logic

    Pages:
    93-110
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Karel CHVALOVSKY

    Title:
    Note on D-Completeness and Prelinearity

    Pages:
    111-118
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Veronica QUIROGA

    Title:
    An Alternative Definition of F-Structures for the logic C1

    Pages:
    119-134
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Rafal GRUSZCZYNSKI

    Title:
    Mereological Fusion as an Upper Bound

    Pages:
    135-150
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Tomasz POLACIK

    Title:
    Bisimulation Reducts of First-Order Kripke Models

    Pages:
    151-160
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Lidia TYPANSKA

    Title:
    A Note on Post-complete Extensions of a Logic of Values of A. Ivin

    Pages:
    161-168
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Janusz CIUCIURA

    Title:
    Non-Adjunctive Discursive Logic

    Pages:
    169-182
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Slawomir KOST

    Title:
    Countable Frames for Bimodal Logics S5 ⊗ S5 and Grz.3⊗ Grz

    Pages:
    183-198
    File:
    bibtex
    Abstract ( + )