BIROn - Birkbeck Institutional Research Online

    The disjunction property of intermediate propositional logics

    Chagrov, A.V. and Zakharyaschev, Michael (1991) The disjunction property of intermediate propositional logics. Studia Logica 50 (2), pp. 189-216. ISSN 0039-3215.

    Full text not available from this repository.

    Abstract

    This paper is a survey of results concerning the disjunction property, Halldén-completeness, and other related properties of intermediate prepositional logics and normal modal logics containing S4.

    Metadata

    Item Type: Article
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Sarah Hall
    Date Deposited: 15 Nov 2021 13:22
    Last Modified: 09 Aug 2023 12:52
    URI: https://eprints.bbk.ac.uk/id/eprint/46722

    Statistics

    Activity Overview
    6 month trend
    0Downloads
    6 month trend
    81Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item