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.

Official URL: https://doi.org/10.1007/BF00370182

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

Archive Staff Only (login required)

Edit/View Item